Exercise logic.propositional.dnf
Description
Proposition to DNF
All applications
Rule | defimpl.inv |
Location | [] |
((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) -> (q || r)
ready: no
Rule | defimpl.inv |
Location | [] |
(((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) -> q) || r
ready: no
Rule | defimpl.inv |
Location | [0,0,0] |
~((q -> (r || F)) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | defimpl.inv |
Location | [0,0,0] |
~(((q -> r) || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | defimpl.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ (q -> (r || F)) /\ (~q || r || F)) || q || r
ready: no
Rule | defimpl.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ ((q -> r) || F) /\ (~q || r || F)) || q || r
ready: no
Rule | defimpl.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (q -> (r || F))) || q || r
ready: no
Rule | defimpl.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ ((q -> r) || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [] |
F || ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r || F
ready: no
Rule | falsezeroor.inv |
Location | [0] |
F || ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || F || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0] |
~(F || ((~q || r || F) /\ (~q || r || F) /\ (~q || r || F))) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0] |
~(((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || F) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0] |
~((F || ~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0] |
~((~q || r || F || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,0] |
~((F || ~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,0] |
~((~q || F || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,0,0] |
~((~(F || q) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,0,0] |
~((~(q || F) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,1] |
~((~q || F || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,1] |
~((~q || r || F || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,1,0] |
~((~q || F || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,1,0] |
~((~q || r || F || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,1,1] |
~((~q || r || F || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0,1,1] |
~((~q || r || F || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1] |
~((~q || r || F) /\ (F || ((~q || r || F) /\ (~q || r || F)))) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1] |
~((~q || r || F) /\ (((~q || r || F) /\ (~q || r || F)) || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ (F || ~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ (~q || r || F || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,0] |
~((~q || r || F) /\ (F || ~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,0] |
~((~q || r || F) /\ (~q || F || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,0,0] |
~((~q || r || F) /\ (~(F || q) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,0,0] |
~((~q || r || F) /\ (~(q || F) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || F || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || r || F || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,1,0] |
~((~q || r || F) /\ (~q || F || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,1,0] |
~((~q || r || F) /\ (~q || r || F || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,1,1] |
~((~q || r || F) /\ (~q || r || F || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,0,1,1] |
~((~q || r || F) /\ (~q || r || F || F) /\ (~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (F || ~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (F || ~q || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || F || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~(F || q) || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~(q || F) || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || F || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || F || r || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [0,0,1,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F || F)) || q || r
ready: no
Rule | falsezeroor.inv |
Location | [1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || F || q || r
ready: no
Rule | falsezeroor.inv |
Location | [1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r || F
ready: no
Rule | falsezeroor.inv |
Location | [1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || F || q || r
ready: no
Rule | falsezeroor.inv |
Location | [1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || F || r
ready: no
Rule | falsezeroor.inv |
Location | [1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || F || r
ready: no
Rule | falsezeroor.inv |
Location | [1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r || F
ready: no
Rule | idempand.inv |
Location | [] |
(~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r) /\ (~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r)
ready: no
Rule | idempand.inv |
Location | [0] |
(~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) /\ ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F))) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,0,0] |
~(((~q /\ ~q) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,0,0,0] |
~((~(q /\ q) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,0,1] |
~((~q || ((r || F) /\ (r || F))) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,0,1,0] |
~((~q || (r /\ r) || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,0,1,1] |
~((~q || r || (F /\ F)) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,0,0] |
~((~q || r || F) /\ ((~q /\ ~q) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,0,0,0] |
~((~q || r || F) /\ (~(q /\ q) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || ((r || F) /\ (r || F))) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,0,1,0] |
~((~q || r || F) /\ (~q || (r /\ r) || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,0,1,1] |
~((~q || r || F) /\ (~q || r || (F /\ F)) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ ((~q /\ ~q) || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,1,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~(q /\ q) || r || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || ((r || F) /\ (r || F)))) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || (r /\ r) || F)) || q || r
ready: no
Rule | idempand.inv |
Location | [0,0,1,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || (F /\ F))) || q || r
ready: no
Rule | idempand.inv |
Location | [1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || ((q || r) /\ (q || r))
ready: no
Rule | idempand.inv |
Location | [1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || (q /\ q) || r
ready: no
Rule | idempand.inv |
Location | [1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || (r /\ r)
ready: no
Rule | idempor.inv |
Location | [] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r || ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0] |
~(((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || ((~q || r || F) /\ (~q || r || F) /\ (~q || r || F))) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,0] |
~((~q || r || F || ~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,0,0] |
~((~q || ~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,0,0,0] |
~((~(q || q) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,0,1] |
~((~q || r || F || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,0,1,0] |
~((~q || r || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,0,1,1] |
~((~q || r || F || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1] |
~((~q || r || F) /\ (((~q || r || F) /\ (~q || r || F)) || ((~q || r || F) /\ (~q || r || F)))) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ (~q || r || F || ~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,0,0] |
~((~q || r || F) /\ (~q || ~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,0,0,0] |
~((~q || r || F) /\ (~(q || q) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || r || F || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,0,1,0] |
~((~q || r || F) /\ (~q || r || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,0,1,1] |
~((~q || r || F) /\ (~q || r || F || F) /\ (~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F || ~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || ~q || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,1,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~(q || q) || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || r || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [0,0,1,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F || F)) || q || r
ready: no
Rule | idempor.inv |
Location | [1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r || q || r
ready: no
Rule | idempor.inv |
Location | [1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || q || r
ready: no
Rule | idempor.inv |
Location | [1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~(((~q || r || F) /\ (~q || r || F) /\ ~q) || ((~q || r || F) /\ (~q || r || F) /\ (r || F))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~(((~q || r || F) /\ (~q || r || F) /\ (~q || r)) || ((~q || r || F) /\ (~q || r || F) /\ F)) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~((((~q || r || F) /\ ~q) || ((~q || r || F) /\ (r || F))) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~((((~q || r || F) /\ (~q || r)) || ((~q || r || F) /\ F)) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~((~q || r || F) /\ (((~q || r || F) /\ ~q) || ((~q || r || F) /\ (r || F)))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~((~q || r || F) /\ (((~q || r || F) /\ (~q || r)) || ((~q || r || F) /\ F))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~((~q /\ (~q || r || F) /\ (~q || r || F)) || ((r || F) /\ (~q || r || F) /\ (~q || r || F))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~(((~q || r) /\ (~q || r || F) /\ (~q || r || F)) || (F /\ (~q || r || F) /\ (~q || r || F))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~(((~q /\ (~q || r || F)) || ((r || F) /\ (~q || r || F))) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~((((~q || r) /\ (~q || r || F)) || (F /\ (~q || r || F))) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~((~q || r || F) /\ ((~q /\ (~q || r || F)) || ((r || F) /\ (~q || r || F)))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0] |
~((~q || r || F) /\ (((~q || r) /\ (~q || r || F)) || (F /\ (~q || r || F)))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0,1] |
~((~q || r || F) /\ (((~q || r || F) /\ ~q) || ((~q || r || F) /\ (r || F)))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0,1] |
~((~q || r || F) /\ (((~q || r || F) /\ (~q || r)) || ((~q || r || F) /\ F))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0,1] |
~((~q || r || F) /\ ((~q /\ (~q || r || F)) || ((r || F) /\ (~q || r || F)))) || q || r
ready: no
Rule | logic.propositional.andoveror |
Location | [0,0,1] |
~((~q || r || F) /\ (((~q || r) /\ (~q || r || F)) || (F /\ (~q || r || F)))) || q || r
ready: no
Rule | logic.propositional.assocand |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.assocor |
Location | [] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.assocor |
Location | [0,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.assocor |
Location | [0,0,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.assocor |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.buggy.andsame |
Location | [0,0] |
Rule | logic.propositional.buggy.andsame |
Location | [0,0] |
Rule | logic.propositional.buggy.andsame |
Location | [0,0,1] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0,1] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0,1] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0,1] |
Rule | logic.propositional.buggy.assoc |
Location | [0,0,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,0,0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,0,0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,0,1,0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,0,1,0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,0,1,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,0,1,1] |
Rule | logic.propositional.buggy.demorgan1 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan1 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan1 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan1 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan1 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan1 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan2 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan2 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan3 |
Location | [0] |
Rule | logic.propositional.buggy.demorgan3 |
Location | [0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0] |
Rule | logic.propositional.buggy.distr |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0,1] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0,0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,1,0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,1,0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,1,0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,1,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,1,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,0,1,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,0,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,0,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,0,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,0,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,0,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,0,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,0,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,0,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,1,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,1,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,0,1,1,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,0,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,0,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,0,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,0,1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,0,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,0,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,0,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,0,1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,1,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,1,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,0,1,1,1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [1,1] |
Rule | logic.propositional.buggy.parenth1 |
Location | [0] |
Rule | logic.propositional.buggy.parenth1 |
Location | [0] |
Rule | logic.propositional.command |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.command |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.command |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.command |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.command |
Location | [0,0,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [] |
q || r || ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F))
ready: no
Rule | logic.propositional.commor |
Location | [] |
r || ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q
ready: no
Rule | logic.propositional.commor |
Location | [] |
q || ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || r
ready: no
Rule | logic.propositional.commor |
Location | [] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || r || q
ready: no
Rule | logic.propositional.commor |
Location | [0,0,0] |
~((r || F || ~q) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,0] |
~((F || ~q || r) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,0] |
~((r || ~q || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,0] |
~((~q || F || r) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,0,1] |
~((~q || F || r) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,0] |
~((~q || r || F) /\ (r || F || ~q) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,0] |
~((~q || r || F) /\ (F || ~q || r) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,0] |
~((~q || r || F) /\ (r || ~q || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,0] |
~((~q || r || F) /\ (~q || F || r) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || F || r) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (r || F || ~q)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (F || ~q || r)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (r || ~q || F)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || F || r)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || F || r)) || q || r
ready: no
Rule | logic.propositional.commor |
Location | [1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || r || q
ready: no
Rule | logic.propositional.demorganand |
Location | [0] |
~(~q || r || F) || ~((~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.demorganand |
Location | [0] |
~((~q || r || F) /\ (~q || r || F)) || ~(~q || r || F) || q || r
ready: no
Rule | logic.propositional.falsezeroor |
Location | [0,0,0] |
~((~q || r) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.falsezeroor |
Location | [0,0,0] |
~((~q || r) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.falsezeroor |
Location | [0,0,0,1] |
~((~q || r) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.falsezeroor |
Location | [0,0,1,0] |
~((~q || r || F) /\ (~q || r) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.falsezeroor |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || r) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.falsezeroor |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r)) || q || r
ready: no
Rule | logic.propositional.falsezeroor |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r)) || q || r
ready: no
Rule | logic.propositional.genandoveror |
Location | [0,0] |
~((~q /\ (~q || r || F) /\ (~q || r || F)) || (r /\ (~q || r || F) /\ (~q || r || F)) || (F /\ (~q || r || F) /\ (~q || r || F))) || q || r
ready: no
Rule | logic.propositional.genandoveror |
Location | [0,0,1] |
~((~q || r || F) /\ (((~q || r || F) /\ ~q) || ((~q || r || F) /\ r) || ((~q || r || F) /\ F))) || q || r
ready: no
Rule | logic.propositional.genandoveror |
Location | [0,0,1] |
~((~q || r || F) /\ ((~q /\ (~q || r || F)) || (r /\ (~q || r || F)) || (F /\ (~q || r || F)))) || q || r
ready: no
Rule | logic.propositional.gendemorganand |
Location | [0] |
~(~q || r || F) || ~(~q || r || F) || ~(~q || r || F) || q || r
ready: no
Rule | logic.propositional.idempand |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.idempand |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.idempand |
Location | [0,0,1] |
~((~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | logic.propositional.invoroverand |
Location | [0,0] |
~(~q || ((r || F) /\ (r || F) /\ (r || F))) || q || r
ready: no
Rule | logic.propositional.invoroverand |
Location | [0,0,1] |
~((~q || r || F) /\ (~q || ((r || F) /\ (r || F)))) || q || r
ready: no
~~(~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r)
ready: no
Rule | notnot.inv |
Location | [0] |
~~~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0] |
~~~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,0] |
~(~~(~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,0,0] |
~((~~~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,0,0,0] |
~((~~~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,0,1] |
~((~q || ~~(r || F)) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,0,1,0] |
~((~q || ~~r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,0,1,1] |
~((~q || r || ~~F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1] |
~((~q || r || F) /\ ~~((~q || r || F) /\ (~q || r || F))) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ ~~(~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,0,0] |
~((~q || r || F) /\ (~~~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,0,0,0] |
~((~q || r || F) /\ (~~~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || ~~(r || F)) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,0,1,0] |
~((~q || r || F) /\ (~q || ~~r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,0,1,1] |
~((~q || r || F) /\ (~q || r || ~~F) /\ (~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ ~~(~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~~~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,1,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~~~q || r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || ~~(r || F))) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || ~~r || F)) || q || r
ready: no
Rule | notnot.inv |
Location | [0,0,1,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || ~~F)) || q || r
ready: no
Rule | notnot.inv |
Location | [1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || ~~(q || r)
ready: no
Rule | notnot.inv |
Location | [1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || ~~q || r
ready: no
Rule | notnot.inv |
Location | [1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || ~~r
ready: no
Rule | nottrue.inv |
Location | [0,0,0,1,1] |
~((~q || r || ~T) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | nottrue.inv |
Location | [0,0,1,0,1,1] |
~((~q || r || F) /\ (~q || r || ~T) /\ (~q || r || F)) || q || r
ready: no
Rule | nottrue.inv |
Location | [0,0,1,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || ~T)) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0] |
~((~q || ((r || F) /\ (r || F))) /\ (~q || r || F)) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0] |
~((~q || r || (F /\ F)) /\ (~q || r || F)) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0] |
~((~q || r || F) /\ (~q || ((r || F) /\ (r || F)))) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || (F /\ F))) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0] |
~(((~q /\ ~q) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0] |
~((((~q || r) /\ (~q || r)) || F) /\ (~q || r || F)) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0] |
~((~q || r || F) /\ ((~q /\ ~q) || r || F)) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0] |
~((~q || r || F) /\ (((~q || r) /\ (~q || r)) || F)) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0,1] |
~((~q || r || F) /\ (~q || ((r || F) /\ (r || F)))) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0,1] |
~((~q || r || F) /\ (~q || r || (F /\ F))) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0,1] |
~((~q || r || F) /\ ((~q /\ ~q) || r || F)) || q || r
ready: no
Rule | oroverand.inv |
Location | [0,0,1] |
~((~q || r || F) /\ (((~q || r) /\ (~q || r)) || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [] |
T /\ (~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r)
ready: no
Rule | truezeroand.inv |
Location | [] |
(~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r) /\ T
ready: no
Rule | truezeroand.inv |
Location | [0] |
(T /\ ~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F))) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0] |
(~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) /\ T) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0] |
~(T /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ T) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0] |
~(T /\ (~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0] |
~((~q || r || F) /\ T /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,0] |
~(((T /\ ~q) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,0] |
~(((~q /\ T) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,0,0] |
~((~(T /\ q) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,0,0] |
~((~(q /\ T) || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,1] |
~((~q || (T /\ (r || F))) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,1] |
~((~q || ((r || F) /\ T)) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,1,0] |
~((~q || (T /\ r) || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,1,0] |
~((~q || (r /\ T) || F) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,1,1] |
~((~q || r || (T /\ F)) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,0,1,1] |
~((~q || r || (F /\ T)) /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1] |
~((~q || r || F) /\ T /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ T) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ T /\ (~q || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ T /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,0] |
~((~q || r || F) /\ ((T /\ ~q) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,0] |
~((~q || r || F) /\ ((~q /\ T) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,0,0] |
~((~q || r || F) /\ (~(T /\ q) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,0,0] |
~((~q || r || F) /\ (~(q /\ T) || r || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || (T /\ (r || F))) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,1] |
~((~q || r || F) /\ (~q || ((r || F) /\ T)) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,1,0] |
~((~q || r || F) /\ (~q || (T /\ r) || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,1,0] |
~((~q || r || F) /\ (~q || (r /\ T) || F) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,1,1] |
~((~q || r || F) /\ (~q || r || (T /\ F)) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,0,1,1] |
~((~q || r || F) /\ (~q || r || (F /\ T)) /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ T /\ (~q || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F) /\ T) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ ((T /\ ~q) || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ ((~q /\ T) || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~(T /\ q) || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,0,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~(q /\ T) || r || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || (T /\ (r || F)))) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || ((r || F) /\ T))) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || (T /\ r) || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || (r /\ T) || F)) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || (T /\ F))) || q || r
ready: no
Rule | truezeroand.inv |
Location | [0,0,1,1,1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || (F /\ T))) || q || r
ready: no
Rule | truezeroand.inv |
Location | [1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || (T /\ (q || r))
ready: no
Rule | truezeroand.inv |
Location | [1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || ((q || r) /\ T)
ready: no
Rule | truezeroand.inv |
Location | [1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || (T /\ q) || r
ready: no
Rule | truezeroand.inv |
Location | [1,0] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || (q /\ T) || r
ready: no
Rule | truezeroand.inv |
Location | [1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || (T /\ r)
ready: no
Rule | truezeroand.inv |
Location | [1,1] |
~((~q || r || F) /\ (~q || r || F) /\ (~q || r || F)) || q || (r /\ T)
ready: no