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