Programa de Proliferación Celular y Desarrollo: Autómatas Celulares NKp de Kauffman, Irreducibilidad de la funciones booleanas y sus Aplicaciones a la Biología Teórica