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