Time out after 50 steps. "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ T /\\ ~F /\\ T /\\ ((~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || ~q) /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ~F /\\ T /\\ ((~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || ~q) /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ~F /\\ ((~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ p /\\ T /\\ q) || ~q) /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.absorpor "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ~F /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ~F /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ~F /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ~F /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ~F /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notfalse "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ T /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notfalse "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.falsezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notfalse "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ T /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ ~~(p /\\ ~q) /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notnot "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ ~q /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || ~~(p /\\ ~q)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notnot "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ ~F /\\ p /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notfalse "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ T /\\ p /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((~~(p /\\ ~q) /\\ p /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notnot "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((p /\\ ~q /\\ p /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ T /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((p /\\ ~q /\\ p /\\ q) || (~~(p /\\ ~q) /\\ ~F /\\ p /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notfalse "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((p /\\ ~q /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T /\\ p /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((p /\\ ~q /\\ p /\\ q) || (~~(p /\\ ~q) /\\ p /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.notnot "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ ((p /\\ ~q /\\ p /\\ q) || (p /\\ ~q /\\ p /\\ q))) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.idempor "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ T /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ ~F)) /\\ p /\\ ~r))" => logic.propositional.notfalse "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ T /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ ~(T /\\ F) /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ p /\\ ~r))" => logic.propositional.falsezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ ~F /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ p /\\ ~r))" => logic.propositional.notfalse "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ T /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ ~~(p /\\ ~q) /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ p /\\ ~r))" => logic.propositional.notnot "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ ~q /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || (~~(p /\\ ~q) /\\ T)) /\\ p /\\ ~r))" => logic.propositional.truezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || ~~(p /\\ ~q)) /\\ p /\\ ~r))" => logic.propositional.notnot "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ p /\\ ~r))" => logic.propositional.andoveror "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ q /\\ ~q /\\ p /\\ q) || (p /\\ ~q /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ p /\\ ~r))" => logic.propositional.compland "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ F /\\ p /\\ q) || (p /\\ ~q /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ p /\\ ~r))" => logic.propositional.falsezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((~q /\\ p /\\ F) || (p /\\ ~q /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ p /\\ ~r))" => logic.propositional.falsezeroand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ (F || (p /\\ ~q /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ p /\\ ~r))" => logic.propositional.falsezeroor "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((p /\\ ~q /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((p /\\ ~q /\\ p /\\ q) || (((~q /\\ p /\\ q) || (p /\\ ~q)) /\\ p /\\ ~r))" => logic.propositional.andoveror "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ~q /\\ ((p /\\ ~q /\\ p /\\ q) || (~q /\\ p /\\ q /\\ p /\\ ~r) || (p /\\ ~q /\\ p /\\ ~r))" => logic.propositional.genandoveror "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ((~q /\\ p /\\ ~q /\\ p /\\ q) || (~q /\\ ~q /\\ p /\\ q /\\ p /\\ ~r) || (~q /\\ p /\\ ~q /\\ p /\\ ~r))" => logic.propositional.idempand "T /\\ ~~~F /\\ ~~~~(p /\\ ~q) /\\ ((~q /\\ p /\\ q) || (~q /\\ ~q /\\ p /\\ q /\\ p /\\ ~r) || (~q /\\ p /\\ ~q /\\ p /\\ ~r))"