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