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