© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
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