Boolean Calculator

The following expressions can be used in statements:

Expression	Equivalents
NOT	¬
AND
OR
XOR
IF
IFF

---

In addition to the symbols above, T and F are reserved for Tautology and Contradiction. Any other variable letter names can be used.

The following rules are applied by the calculator

Rule	Short	Skip?
Commutative	COM
Associative	ASS
Distributive	DIST
Identity	I
Negation	NEG
Double Negation	DNEG
Idempotent	ID
Universal Bound	UB
De Morgan's	DM
Absorption	ABS
Negations of T and F	NTF
Implication	IMP
Exclusive Or	XOR
Select all?