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