Fix NNF of empty conjunction and disjunction.

[DrJosh9000]

In the existing code, and(True).Eval() = true, but and(True).nnf().Eval() = false. The nnf method elides True, leaving an empty conjunction. So the problem is the choice of False for the NNF of empty conjunction. The dual bug existed for disjunction.