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