logical-expressions First order logical expressions with some aditional functions like: Tautology, Symplify. Created with objective Python.