Solutions to Exam #1 Practice

[Please note that other, logically equivalent, answers are possible.]

1. ~( C v S ) & A

2. ~[( K & D ) W ]

3. [( S v K ) ( ~B v ~M )] & ( ~B & ~M )

4. ~( G & R ) V

5. [( S & M ) T ] & [~( S & M ) D ]

6. [ C ( G & W )] & ~[ ( G & W ) C ]

7. ( T ~H ) & ( ~H R )

8. ( ~G C ) & [ G ( M ~O )]

9. [( ~D & ~P ) R ] & [ ~( ~D & ~P ) ( ~O K )]

10. ( J T ) & { T [( ~B & ~L ) & ~E ]}

11. ~( C v J ) [( I & R ) F ]

12. ( B v L ) ~E

13. ( H & M ) ( ~B S )

14. [ ~M ( ~C & ~U )] & ( M { [ ( X & A) v ( X & S) ] v ( A & S ) })

15. [ F ( ~ G & ~L )] & [ ~F ( Y & T )]

16. ( P ~L ) & ~( ~L P )

17. (M R ) & ( ~M S )

18. G [( C & V ) & S ]

19. ( ~F M ) & [ F ( R & D )]

20. S ( D B )

21. ( W ~D ) ([ ~( P v S ) C ] & {( P v S ) [ C ~( A G )]})

22.( [ ( H v W ) v A ] & ~{[( H & W ) v ( H & A )] v ( A & W )} ) & ~[ ( G & O ) & P ]