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