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