Exercise logic.propositional.dnf
Description
Proposition to DNF
All applications
Rule | compland.sort |
Location | [0] |
(~T /\ ~T /\ F /\ F /\ r /\ r) || (~~T /\ (q || p))
ready: no
Rule | compland.sort |
Location | [0,1] |
(~T /\ F /\ F /\ r /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [] |
F || (~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p)) || F
ready: no
Rule | falsezeroor.inv |
Location | [0] |
F || (~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || F || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,0] |
((F || ~T) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,0] |
((~T || F) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0] |
(~(F || T) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,0,0] |
(~(T || F) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1] |
(~T /\ (F || (F /\ r /\ r /\ ~T /\ F))) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1] |
(~T /\ ((F /\ r /\ r /\ ~T /\ F) || F)) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,0] |
(~T /\ (F || F) /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,0] |
(~T /\ (F || F) /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1] |
(~T /\ F /\ (F || (r /\ r /\ ~T /\ F))) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1] |
(~T /\ F /\ ((r /\ r /\ ~T /\ F) || F)) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,0] |
(~T /\ F /\ (F || r) /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,0] |
(~T /\ F /\ (r || F) /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ (F || (r /\ ~T /\ F))) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ ((r /\ ~T /\ F) || F)) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,0] |
(~T /\ F /\ r /\ (F || r) /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,0] |
(~T /\ F /\ r /\ (r || F) /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ (F || (~T /\ F))) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ((~T /\ F) || F)) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,1,0] |
(~T /\ F /\ r /\ r /\ (F || ~T) /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,1,0] |
(~T /\ F /\ r /\ r /\ (~T || F) /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,1,0,0] |
(~T /\ F /\ r /\ r /\ ~(F || T) /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,1,0,0] |
(~T /\ F /\ r /\ r /\ ~(T || F) /\ F) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ (F || F)) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [0,1,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ (F || F)) || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || F || (~~T /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p)) || F
ready: no
Rule | falsezeroor.inv |
Location | [1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || ((F || ~~T) /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || ((~~T || F) /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~(F || ~T) /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~(~T || F) /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,0,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~(F || T) /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,0,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~(T || F) /\ (q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (F || q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p || F))
ready: no
Rule | falsezeroor.inv |
Location | [1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (F || q || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || F || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || F || p))
ready: no
Rule | falsezeroor.inv |
Location | [1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p || F))
ready: no
Rule | idempand.inv |
Location | [] |
((~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))) /\ ((~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | idempand.inv |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ ~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,0] |
(~T /\ ~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,0,0] |
(~(T /\ T) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,0] |
(~T /\ F /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,1,0] |
(~T /\ F /\ r /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,1,1,0] |
(~T /\ F /\ r /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,1,1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,1,1,1,0,0] |
(~T /\ F /\ r /\ r /\ ~(T /\ T) /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [0,1,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p) /\ ~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ ~~T /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [1,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~(~T /\ ~T) /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [1,0,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~(T /\ T) /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p) /\ (q || p))
ready: no
Rule | idempand.inv |
Location | [1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ ((q /\ q) || p))
ready: no
Rule | idempand.inv |
Location | [1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || (p /\ p)))
ready: no
Rule | idempor.inv |
Location | [] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p)) || (~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,0] |
((~T || ~T) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,0,0] |
(~(T || T) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1] |
(~T /\ ((F /\ r /\ r /\ ~T /\ F) || (F /\ r /\ r /\ ~T /\ F))) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,0] |
(~T /\ (F || F) /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,1] |
(~T /\ F /\ ((r /\ r /\ ~T /\ F) || (r /\ r /\ ~T /\ F))) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,1,0] |
(~T /\ F /\ (r || r) /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ ((r /\ ~T /\ F) || (r /\ ~T /\ F))) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,1,1,0] |
(~T /\ F /\ r /\ (r || r) /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ((~T /\ F) || (~T /\ F))) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,1,1,1,0] |
(~T /\ F /\ r /\ r /\ (~T || ~T) /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,1,1,1,0,0] |
(~T /\ F /\ r /\ r /\ ~(T || T) /\ F) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [0,1,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ (F || F)) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p)) || (~~T /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || ((~~T || ~~T) /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [1,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~(~T || ~T) /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [1,0,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~(T || T) /\ (q || p))
ready: no
Rule | idempor.inv |
Location | [1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p || q || p))
ready: no
Rule | idempor.inv |
Location | [1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || q || p))
ready: no
Rule | idempor.inv |
Location | [1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p || p))
ready: no
Rule | logic.propositional.andoveror |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ q) || (~~T /\ p)
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.assocand |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.buggy.andsame |
Location | [0] |
Rule | logic.propositional.buggy.andsame |
Location | [0,1] |
Rule | logic.propositional.buggy.andsame |
Location | [0,1,1] |
Rule | logic.propositional.buggy.assoc |
Location | [] |
Rule | logic.propositional.buggy.assoc |
Location | [] |
Rule | logic.propositional.buggy.assoc |
Location | [] |
Rule | logic.propositional.buggy.assoc |
Location | [] |
Rule | logic.propositional.buggy.assoc |
Location | [] |
Rule | logic.propositional.buggy.assoc |
Location | [] |
Rule | logic.propositional.buggy.assoc |
Location | [1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1,1,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1,1,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [0,1,1,1,1] |
Rule | logic.propositional.buggy.defimpl.inv |
Location | [1] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [] |
Rule | logic.propositional.buggy.distr |
Location | [1] |
Rule | logic.propositional.buggy.distr |
Location | [1] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0] |
Rule | logic.propositional.buggy.distr.inv |
Location | [0] |
Rule | logic.propositional.buggy.distrnot |
Location | [1] |
Rule | logic.propositional.buggy.distrnot |
Location | [1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1,1,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1,1,1] |
Rule | logic.propositional.buggy.falseprop |
Location | [0,1,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,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,1,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,1,1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,1,1,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,1,1,1,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [0,1,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,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [1,0,0,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [1,1] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [1,1,0] |
Rule | logic.propositional.buggy.idemequiv.inv |
Location | [1,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,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,1,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,1,1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,1,1,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,1,1,1,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [0,1,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,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [1,0,0,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [1,1] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [1,1,0] |
Rule | logic.propositional.buggy.idemimp.inv |
Location | [1,1,1] |
Rule | logic.propositional.command |
Location | [0] |
(F /\ r /\ r /\ ~T /\ F /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(r /\ r /\ ~T /\ F /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(r /\ ~T /\ F /\ ~T /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ ~T /\ F /\ r /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(F /\ ~T /\ F /\ r /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(F /\ ~T /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(F /\ r /\ ~T /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(F /\ r /\ r /\ ~T /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(F /\ r /\ r /\ ~T /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(r /\ ~T /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(r /\ r /\ ~T /\ F /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(r /\ r /\ ~T /\ ~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(r /\ ~T /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(r /\ ~T /\ ~T /\ F /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ ~T /\ F /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ r /\ r /\ ~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ r /\ ~T /\ F /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ ~T /\ F /\ F /\ r /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ F /\ r /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ r /\ ~T /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ ~T /\ F /\ r /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ F /\ r /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ r /\ ~T /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ r /\ F /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ r /\ r /\ F /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ r /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ r /\ r /\ F /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ r /\ r /\ ~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ r /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ r /\ ~T /\ F /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ ~T /\ F /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ r /\ ~T /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ ~T /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0] |
(~T /\ F /\ r /\ ~T /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ r /\ r /\ ~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ r /\ ~T /\ F /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ ~T /\ F /\ F /\ r /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ F /\ r /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ r /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ r /\ r /\ F /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ r /\ r /\ ~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ r /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ r /\ ~T /\ F /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ ~T /\ F /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ r /\ ~T /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ ~T /\ F /\ r /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ F /\ r /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ r /\ ~T /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ r /\ F /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ F /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ r /\ ~T /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ ~T /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1] |
(~T /\ F /\ r /\ ~T /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ r /\ ~T /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ ~T /\ F /\ r /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ F /\ r /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ r /\ ~T /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ ~T /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ r /\ ~T /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ r /\ F /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ F /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1] |
(~T /\ F /\ r /\ ~T /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ ~T /\ F /\ r) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ F /\ r /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ ~T /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ r /\ F /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ F /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.command |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || ((q || p) /\ ~~T)
ready: no
Rule | logic.propositional.commor |
Location | [] |
(~~T /\ (q || p)) || (~T /\ F /\ r /\ r /\ ~T /\ F)
ready: no
Rule | logic.propositional.commor |
Location | [1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (p || q))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(~T /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(~T /\ F /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
F || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(~T /\ F /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0] |
(~T /\ F /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1] |
(~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1] |
(~T /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1] |
(~T /\ F /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1] |
(~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1] |
(~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1] |
(~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1] |
(~T /\ F /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1,1] |
(~T /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1,1] |
(~T /\ F /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.falsezeroand |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ (~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ ((~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ ((r /\ ~T) || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ ((r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p))) /\ ((r /\ r) || (~~T /\ (q || p))) /\ (~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p))) /\ ((r /\ r) || (~~T /\ (q || p))) /\ ((~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p))) /\ ((r /\ r /\ ~T) || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p))) /\ ((r /\ r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ ((F /\ r) || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ (~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ ((F /\ r) || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ ((~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ ((F /\ r) || (~~T /\ (q || p))) /\ ((r /\ ~T) || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ ((F /\ r) || (~~T /\ (q || p))) /\ ((r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ ((F /\ r /\ r) || (~~T /\ (q || p))) /\ (~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ ((F /\ r /\ r) || (~~T /\ (q || p))) /\ ((~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ ((F /\ r /\ r /\ ~T) || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F) || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ (~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F) || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ ((~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F) || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ ((r /\ ~T) || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F) || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ ((r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F) || (~~T /\ (q || p))) /\ ((r /\ r) || (~~T /\ (q || p))) /\ (~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F) || (~~T /\ (q || p))) /\ ((r /\ r) || (~~T /\ (q || p))) /\ ((~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F) || (~~T /\ (q || p))) /\ ((r /\ r /\ ~T) || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F /\ r) || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ (~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F /\ r) || (~~T /\ (q || p))) /\ (r || (~~T /\ (q || p))) /\ ((~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F /\ r) || (~~T /\ (q || p))) /\ ((r /\ ~T) || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.genoroverand |
Location | [] |
((~T /\ F /\ r /\ r) || (~~T /\ (q || p))) /\ (~T || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.idempand |
Location | [0] |
(~T /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.idempand |
Location | [0,1] |
(~T /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.idempand |
Location | [0,1,1] |
(~T /\ F /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.notnot |
Location | [1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (T /\ (q || p))
ready: no
Rule | logic.propositional.nottrue |
Location | [0,0] |
(F /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.nottrue |
Location | [0,1,1,1,1,0] |
(~T /\ F /\ r /\ r /\ F /\ F) || (~~T /\ (q || p))
ready: no
Rule | logic.propositional.nottrue |
Location | [1,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~F /\ (q || p))
ready: no
Rule | logic.propositional.oroverand |
Location | [] |
((~T /\ F /\ r /\ r /\ ~T /\ F) || ~~T) /\ ((~T /\ F /\ r /\ r /\ ~T /\ F) || q || p)
ready: no
Rule | logic.propositional.oroverand |
Location | [] |
(~T || (~~T /\ (q || p))) /\ ((F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.oroverand |
Location | [] |
((~T /\ F) || (~~T /\ (q || p))) /\ ((r /\ r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.oroverand |
Location | [] |
((~T /\ F /\ r) || (~~T /\ (q || p))) /\ ((r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.oroverand |
Location | [] |
((~T /\ F /\ r /\ r) || (~~T /\ (q || p))) /\ ((~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | logic.propositional.oroverand |
Location | [] |
((~T /\ F /\ r /\ r /\ ~T) || (~~T /\ (q || p))) /\ (F || (~~T /\ (q || p)))
ready: no
Rule | notfalse.inv |
Location | [0,0,0] |
(~~F /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notfalse.inv |
Location | [0,1,1,1,1,0,0] |
(~T /\ F /\ r /\ r /\ ~~F /\ F) || (~~T /\ (q || p))
ready: no
Rule | notfalse.inv |
Location | [1,0,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~~F /\ (q || p))
ready: no
~~((~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | notnot.inv |
Location | [0] |
~~(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,0] |
(~~~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,0,0] |
(~~~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1] |
(~T /\ ~~(F /\ r /\ r /\ ~T /\ F)) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,0] |
(~T /\ ~~F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,1] |
(~T /\ F /\ ~~(r /\ r /\ ~T /\ F)) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,1,0] |
(~T /\ F /\ ~~r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ ~~(r /\ ~T /\ F)) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,1,1,0] |
(~T /\ F /\ r /\ ~~r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~~(~T /\ F)) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,1,1,1,0] |
(~T /\ F /\ r /\ r /\ ~~~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,1,1,1,0,0] |
(~T /\ F /\ r /\ r /\ ~~~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [0,1,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ ~~F) || (~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || ~~(~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [1,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [1,0,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~~~T /\ (q || p))
ready: no
Rule | notnot.inv |
Location | [1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ ~~(q || p))
ready: no
Rule | notnot.inv |
Location | [1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (~~q || p))
ready: no
Rule | notnot.inv |
Location | [1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || ~~p))
ready: no
Rule | nottrue.inv |
Location | [0,1,0] |
(~T /\ ~T /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | nottrue.inv |
Location | [0,1,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ ~T) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [] |
T /\ ((~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p)))
ready: no
Rule | truezeroand.inv |
Location | [] |
((~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))) /\ T
ready: no
Rule | truezeroand.inv |
Location | [0] |
(T /\ ~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ T) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,0] |
(T /\ ~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,0] |
(~T /\ T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,0,0] |
(~(T /\ T) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,0,0] |
(~(T /\ T) /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1] |
(~T /\ T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ T) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,0] |
(~T /\ T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,0] |
(~T /\ F /\ T /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1] |
(~T /\ F /\ T /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ T) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,0] |
(~T /\ F /\ T /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,0] |
(~T /\ F /\ r /\ T /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ T /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ T) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,0] |
(~T /\ F /\ r /\ T /\ r /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,0] |
(~T /\ F /\ r /\ r /\ T /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ T /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ T) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,1,0] |
(~T /\ F /\ r /\ r /\ T /\ ~T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,1,0,0] |
(~T /\ F /\ r /\ r /\ ~(T /\ T) /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,1,0,0] |
(~T /\ F /\ r /\ r /\ ~(T /\ T) /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ T /\ F) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [0,1,1,1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F /\ T) || (~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (T /\ ~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p) /\ T)
ready: no
Rule | truezeroand.inv |
Location | [1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (T /\ ~~T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~(T /\ ~T) /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~(~T /\ T) /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1,0,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~(T /\ T) /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1,0,0,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~(T /\ T) /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ T /\ (q || p))
ready: no
Rule | truezeroand.inv |
Location | [1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || p) /\ T)
ready: no
Rule | truezeroand.inv |
Location | [1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ ((T /\ q) || p))
ready: no
Rule | truezeroand.inv |
Location | [1,1,0] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ ((q /\ T) || p))
ready: no
Rule | truezeroand.inv |
Location | [1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || (T /\ p)))
ready: no
Rule | truezeroand.inv |
Location | [1,1,1] |
(~T /\ F /\ r /\ r /\ ~T /\ F) || (~~T /\ (q || (p /\ T)))
ready: no