Пример #1
0
 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;
 }