Implement evaluation for CNFs and clauses