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