ECS 220 2b:4.3-4 logical structure of NP and coNP

From David Doty