Exercise logic.propositional.dnf

Description
Proposition to DNF

(F /\ r) || q || p
ready: yes

Feedback

Path 1

path[0, 1, 0, 5, 6, 5, 6, 4, 0, 0, 0, 1, 0, 5, 5, 6, 4, 0, 0, 0, 1, 0, 1, 2]
steps24
major rules3
active labels
  • dnf
  • andrules

enter dnf, check, enter simplify, navigator.down, navigator.right, navigator.down, navigator.right, logic.propositional.notnot, navigator.up, navigator.up, exit simplify, check, enter simplify, navigator.down, navigator.down, navigator.right, logic.propositional.notnot, navigator.up, navigator.up, exit simplify, check, enter simplify, enter andrules, logic.propositional.idempand