Exercise logic.propositional.cnf.unicode
Description
Proposition to CNF (unicode support)
Firsts
Rule | logic.propositional.absorpor |
Location | [0,1,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ r)
ready: no
Rule | logic.propositional.idempand |
Location | [0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.idempand |
Location | [0,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.idempand |
Location | [0,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.idempand |
Location | [0,1,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.idempand |
Location | [0,1,1,1,1,1,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,0,0,1,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,0,0,1,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,0,0,1,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,1,0,1,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroor |
Location | [0,1,1,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ T ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.idempand |
Location | [0,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,0,0,1,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroor |
Location | [0,1,1,1,1,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ T ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.idempand |
Location | [0,1,1,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no
Rule | logic.propositional.truezeroand |
Location | [0,1,1,1,1,0,0,1,1,1,1,1] |
Term | "Nothing" |
Focus | "Nothing" |
Environment | |
¬(((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ ¬r) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ (r ∧ (r ↔ r))) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ r) ∨ T) ∧ ((r ∧ r ∧ T ∧ r ∧ (r ↔ r) ∧ T ∧ r) ∨ r))
ready: no