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