public boolean isFalse(){
  return isEmpty();
}

public boolean isFalse ( ) { return isEmpty ( ) ; }
if a clause is empty - a disjunction of no disjuncts - it is equivalent to ' false ' because a disjunction is true only if at least one of its disjuncts is true .
