Can anyone give me an instance of 3SAT with exactly one solution? I need an instance of 3SAT with exactly one solution but I cannot think of or find one anywhere. Can anyone please give me an example?
The empty 3SAT instance (over no variables) has one solution.