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