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