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