| Move Negations In |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | deMorgan’s
Law: |
||||||||||||
| – | Replace
Ø(XÚY) with (ØX ÙØY) |
||||||||||||
| – | Replace
Ø(XÙY) with (ØX Ú ØY) |
||||||||||||
| Worked
example: |
|||||||||||||
| (ØX Ú (YÙØZ)) Ù (Ø(YÙØZ) Ú X) = |
|||||||||||||
| (ØX Ú (YÙØZ)) Ù ((ØY Ú ØØZ) Ú X) = |
|||||||||||||
| (ØX Ú (YÙØZ)) Ù ((ØY Ú Z) Ú X) = |
|||||||||||||
| (ØX Ú (YÙØZ)) Ù (ØY Ú Z Ú X) |
|||||||||||||
| • | At
this point, you should only have complex sentences |
||||||||||||
| made
up of Ù, Ú, and literals |
|||||||||||||
