Added several simplification rules to LogicSimplify that prove to be useful for quick siplification tasks. I.e. A And A -> A, etc.
Added several simplification rules to LogicSimplify that prove to be useful for quick
siplification tasks. I.e. A And A -> A, etc.

These rules are not strictly necessary for CanProve to work right, even w/o them CanProve(A
And A) will output A.

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