© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Eliminate Þ and Û
1.Replace XÛY with (XÞY) Ù (YÞX)
2.Replace XÞY with ØXÚY
•Worked example: 
•X Û (YÙØZ) =
•(X Þ (YÙØZ)) Ù ((YÙØZ) Þ X) =
•(ØX Ú (YÙØZ)) Ù (Ø(YÙØZ) Ú X)