Truth check for clauses.
Truth check for full 3SAT problems.