Time out after 50 steps. "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ (T || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ (~F || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.absorpor "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ T /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ (~F || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ (~F || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.absorpor "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ ~F" => logic.propositional.notfalse "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ T" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.absorpor "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.absorpand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.notfalse "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ T) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.notfalse "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ T) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ (~q || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ T) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q)) /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.absorpor "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ ~F /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.notfalse "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ T /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ ~~(p /\\ ~q /\\ ~q /\\ p) /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.notnot "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ ~q /\\ ~q /\\ p /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ ~q /\\ p /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.notfalse "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ T /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.notnot "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~q /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (T /\\ ((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ((T /\\ p) || (T /\\ p /\\ ~r /\\ ~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p)) /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F))" => logic.propositional.absorpor "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ T /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ (p || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F))" => logic.propositional.absorpand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ ~F) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F))" => logic.propositional.notfalse "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ T) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ ~F))" => logic.propositional.notfalse "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ T) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q /\\ T))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T) /\\ T) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~(~(p /\\ ~q /\\ p /\\ ~q) /\\ T)) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ ~~(p /\\ ~q /\\ p /\\ ~q)) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.notnot "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q /\\ p /\\ ~q) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ T /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ ~r /\\ ~F)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.notfalse "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ ~r /\\ T)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ ~~(p /\\ ~q) /\\ p /\\ ~r)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.notnot "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ p /\\ ~q /\\ p /\\ ~r)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ p /\\ ~r)) /\\ p /\\ ((T /\\ q) || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ p /\\ ~r)) /\\ p /\\ (q || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.truezeroand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ p /\\ ~r)) /\\ p /\\ (q || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ ~r)) /\\ ~q))" => logic.propositional.idempand "~~T /\\ T /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q) || (~q /\\ p /\\ ~r) || (((~q /\\ p /\\ ~q) || (~q /\\ p /\\ ~r)) /\\ p /\\ (q || (~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ ~r)) /\\ ~q))"