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