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