code: public boolean containsTerm(BooleanTerm term) {
  		if (term.isFalse() || formula.isTrue()) {
  			// If the term is false, then adding it won't change the formula
  			// Similarly if the formula is true.  No additional term added
  			// will make it not true.
  			return true;
  		}
  		if (term.isTrue()) {
  			// answer has to be false because we are here only if formula.isTrue() is false
  			return false;
  		}
  		for (BooleanTerm termToTest : formula) {
  			// check for true terms in case formula hasn't been simplified.
  			if (termToTest.isTrue()) {
  				// A true term means the formula is true, and a true
  				// formula contains all terms.
  				return true;
  			}
  			if (term.containsAll(termToTest)) {
  				// If a term in the formula includes all the vars that are
  				// in the term we are testing, then the term is included
  				// in the formula.
  				return true;
  			}
  		}
  		return false;
  	}
docs: Returns true if the specified term is logically included by the formula
  for this object.
  <p>
  Put another way, this method returns true if adding the specified term
  to the formula for this object does not change the truth table for
  the formula.
  
  @param term
  The term to test for logical inclusion
  @return True if the formula logically includes the specified term