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