tomado de:http://es.slideshare.net/emi_fern93/teoremas-fundamentales-algebra-de-boole
       
   leyes de morgan 
son reglas de transformación que son ambas reglas de inferencia validas.  estas normas permiten la expresión de las conjunciones y disyunciones. 
tomado de: https://es.wikipedia.org/wiki/Leyes_de_De_Morgan
      
mapa de karnaugh  
                                                                               tomado de:https://es.wikipedia.org/wiki/Mapa_de_Karnaugh

es un diagrama utilizado para la simplificación de funciones algebraicas boolenas. El mapa de Karnaugh fue inventado en 1950 por Maurice Karnaugh, un físico y matemático de los laboratorios  Bell.