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