Fórmula booleana

La fórmula booleana (llamada así por George Boole ) es una fórmula lógica proposicional . Puede contener variables lógicas y conectores proposicionales : conjunción (" "), disyunción (" "), negación (" "") y otros. $\cuña$ $\vee$ $\neg$

Una fórmula se llama idénticamente verdadera ( falsa ) si es verdadera (falsa) para cualquier valor de las variables. Se dice que dos fórmulas booleanas son equivalentes si y solo si son verdaderas en el mismo subconjunto del conjunto de valores de argumento.

Una fórmula booleana en n variables define una función booleana , donde $E^{n}\a E$

E=\{0;1\}

es el conjunto de valores de cada variable ,

x_{yo}

un valor de 0 corresponde a falso y un valor de 1 corresponde a verdadero.

x_{yo}

x_{yo}

Hay un total de funciones booleanas, por lo que hay tantas clases de fórmulas booleanas equivalentes. $2^{{2^{n}}}$