Exercise logic.propositional.dnf
Description
Proposition to DNF
Firsts
Rule | logic.propositional.falsezeroand |
Location | [1,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
(((F /\ (r || F)) || q || ~~p) /\ F /\ r) || (((F /\ (r || F)) || q || ~~p) /\ q) || (((F /\ (r || F)) || q || ~~p || (F /\ (r || F)) || q || ~~p) /\ ~~p)
ready: no
Rule | logic.propositional.truezeroand |
Location | [1,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
(((F /\ (r || F)) || q || ~~p) /\ F /\ r) || (((F /\ (r || F)) || q || ~~p) /\ q) || (((F /\ (r || F)) || q || ~~p || (F /\ (r || F)) || q || ~~p) /\ ~~p)
ready: no