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