Symbolic logic expressions - View it on GitHub