(P v Q) => ~(P v ~Q)
and also Boolean Algebra ( great for Digital Systems )
I didn't read all the manual yet, but i think i haven't seen any of this functions there.
This one also should appear in the Suggestions section, i really don't understand.
Once again sorry
Edited by fiberoptik, 10 November 2004 - 10:51 PM.