Exercise

Exercise logic.propositional.cnf.unicode

Description
Proposition to CNF (unicode support)

T ∧ ¬(((r ∧ r) ∨ (¬r ∧ ¬r)) ∧ r)

ready: no

Feedback

path [0, 2, 0, 2, 0, 3, 2, 0, 1]
steps 9
major rules 1
active labels
cnf
eliminateimplequiv

enter cnf, check, navigator.down, navigator.right, check, enter eliminateimplequiv, navigator.down, navigator.down, logic.propositional.defequiv