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