A proposition ϕ is in 3DNF if it is the disjunction of one or more clauses, each of which is the conjunction of exactly three distinct literals. In terms of the number of clauses, what’s the smallest...

A proposition ϕ is in 3DNF if it is the disjunction of one or more clauses, each of which is the conjunction of exactly three distinct literals. In terms of the number of clauses, what’s the smallest 3DNF formula . . .

1. . . . that’s a tautology?

2. . . . that’s not satisfiable?