Exercise logic.propositional.dnf

Description
Proposition to DNF

Feedback

• onefirst
• allfirsts (2)
• allapplications
• derivation
• microsteps

Path 1

path	[0, 1, 3, 3, 0, 2, 0, 2, 0, 0, 5, 4, 0, 0, 0, 2, 0, 2, 0, 4, 4, 5, 3, 0, 0, 0, 2, 0, 2, 0, 1, 1, 0]
steps	33
major rules	4
active labels	dnf specialdistrnot

enter dnf, check, enter eliminateimplequiv, logic.propositional.defequiv, exit eliminateimplequiv, check, navigator.down, navigator.right, check, enter simplify, navigator.down, logic.propositional.notnot, navigator.up, exit simplify, navigator.up, check, navigator.down, navigator.right, check, enter demorgan, navigator.down, navigator.right, logic.propositional.demorganand, navigator.up, exit demorgan, navigator.up, check, navigator.down, navigator.right, check, enter specialdistrnot, check, logic.propositional.andoveror