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