Conocida como álgebra de la lógica y que permite simplificar deductivamente
afirmaciones lógicas. Cálculo definido por unos símbolos y unas reglas de inferencia., fue comprobar mediante una serie de pasos ordenados y lógicos combinaciones de las reglas de conjunción negación y disyunción, dar diferentes resultados controlados y solo un resultado que dé tautología, fueron expresados en 0 y 1. Referencias Figueroa R, Matemática Básica. 3ª ed. Lima-Perú. Editorial Gráficas América S.R.L.,2004 http://site.ebrary.com/lib/bibliocauladechsp/docDetail.action?docID=10526962&p00=t EOR IA+DE+CONJUNTOS