Simplify the expression by selecting part of the given expression, then choosing a rule from the menu to apply to that part.
Enter an expression to simplify:
--select a rule--
DeMorgan's
Elim. Double Negation
XOR to OR
Replace Implication
BiImplication to Conjunction
BiImplication to Disjunction
Apply
--select a rule--
DeMorgan's
Elim. Double Negation
XOR to OR
Replace Implication
BiImplication to Conjunction
BiImplication to Disjunction
Apply
--select a rule--
DeMorgan's
Elim. Double Negation
XOR to OR
Replace Implication
BiImplication to Conjunction
BiImplication to Disjunction
Apply
--select a rule--
DeMorgan's
Elim. Double Negation
XOR to OR
Replace Implication
BiImplication to Conjunction
BiImplication to Disjunction
Apply
--select a rule--
DeMorgan's
Elim. Double Negation
XOR to OR
Replace Implication
BiImplication to Conjunction
BiImplication to Disjunction
Apply
--select a rule--
DeMorgan's
Elim. Double Negation
XOR to OR
Replace Implication
BiImplication to Conjunction
BiImplication to Disjunction
Apply