public boolean satisfies(ArrayList<Boolean> b)
    {
        //since a clause is a disjunction, if one variable is
        //true, the whole clause is true.
        for(Variable v: variables)
        {  
            boolean varBoo = b.get(v.getNumber()-1); //get boolean 
            //for corresponding variable.
            if(v.getValue(varBoo))
                return true;
        }
        return false;
    }