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