public boolean isEquivalent(Formula formula1, Formula formula2) { if (formula1.equals(formula2)) return true; if (hasOpposite(formula1)) { Formula equiv1 = equivalentFormula(formula1); return equiv1.equals(formula2); } return false; }