This is a pretty major rewrite of LogicSimplify, done to ensure that we always leave things in CNF, thus the grammar for LogicSimplify's output can look as follows:
This is a pretty major rewrite of LogicSimplify, done to ensure that we always leave things in CNF,
thus the grammar for LogicSimplify's output can look as follows:

	Comparison 	::= (Expr1 Op Expr2)
	Term 		::= Variable | Not Variable | Comparison
	CNF		::= (Term Or Term ...) And (Term Or Term ...) And ...

tomaszkrysiuk/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas,martanoga/yacas,martanoga/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,qwert2003/yacas,martanoga/yacas,tomaszkrysiuk/yacas,martanoga/yacas,qwert2003/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,martanoga/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,MateuszSnamina/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,martanoga/yacas,martanoga/yacas,qwert2003/yacas,tomaszkrysiuk/yacas,grzegorzmazur/yacas,qwert2003/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,qwert2003/yacas,grzegorzmazur/yacas