\ begin {align*} (a\ vee b)\ wedge (a\ vee b')\ wedge (a\ vee b) & = (a\ vee b)\ wedge (a\ vee b)\ wedge (a\ vee b')\\ & = (a\ vee b)\ wedge (a\ vee b')\\ & = a\ vee (b\ wedge b')\ ')\\ & = a\ vee O\\...\ begin {align*} (a\ vee b)\ wedge (a\ vee b')\ wedge (a\ vee b) & = (a\ vee b)\ wedge (a\ vee b)\ wedge (a\ vee b')\\ & = (a\ vee b)\ wedge (a\ vee b')\\ & = a\ vee (b\ wedge b')\ ')\\ & = a\ vee O\\ & = a\ text {,}\ end {alinear*} De Morgan observó que el principio de dualidad a menudo se sostiene en la teoría de conjuntos, como lo ilustran las leyes de De Morgan para la teoría de conjuntos.
