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)