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