Reducción de expresiones booleanas de 4 variables aplicando teoremas, postulados y mapas de Karnaugh