Systems Analysis and Synthesis

2.10. Exercises

1. Complete the proof of Equation (2.1.28).

2. Prove Equation (2.1.11). (Hint: Use Axiom (2.1.7) and the resolution theorem. Set out your proof as a vertical stack of propositions.)

3. Use Axiom (2.1.7) to reduce P⇒Q to CNF , then use De Morgan’s Theorem to find its logical complement. How do you interpret your result?

4. Why does a set of cardinality n have 2n possible subsets? (See 2.3.1.)

5. In what special circumstances does R1;R−