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