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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((~F /\\ ~F /\\ ~~T /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ 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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((~F /\\ ~F /\\ ~~T /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ 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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ T /\\ q) || (~q /\\ ~r) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ 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 /\\ T /\\ q) || (~q /\\ ~r) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ (~~(p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ 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 /\\ T /\\ q) || (~q /\\ ~r) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ p /\\ ~q /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ p /\\ ~q /\\ p /\\ T /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ p /\\ ~q /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ((~q /\\ q) || (~q /\\ ~r)) /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ (F || (~q /\\ ~r)) /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~q /\\ ~r /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~F /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~(~~p /\\ ~q) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (~~p /\\ ~q /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ ((p /\\ ~q) || (p /\\ ~q /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ p /\\ ~q /\\ ((p /\\ T) || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ p /\\ ~q /\\ (p || (~~(~~p /\\ ~q) /\\ T /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ p /\\ ~q /\\ (p || (~~(~~p /\\ ~q) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ p /\\ ~q /\\ (p || (~~(~~p /\\ ~q) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~F /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ p /\\ ~q /\\ (p || (~~(~~p /\\ ~q) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ T /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ p /\\ ~q /\\ (p || (~~(~~p /\\ ~q) /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ p /\\ ~q /\\ (p || (~~p /\\ ~q /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ~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 /\\ ~r /\\ p /\\ ~q)) /\\ p /\\ ~q /\\ (p || (p /\\ ~q /\\ ((~q /\\ T /\\ q) || (~q /\\ ~r)) /\\ ~~~~~~~~(p /\\ ~q) /\\ p /\\ ~~T /\\ ~q)) /\\ ~q"