COMPLETITTUD FUNCIONAL

En logica, un conjunto funcionalmente completo de conectivas logicas u operadores

booleanos es aquel que puede ser usado para expresar todas las tablas de verdad
posibles combinando sus elementos en expresiones booleanas. Un conjunto bastante
conocido de de conectivas es {AND,NOT}, que consisten en la conjunción y la
negacion logica. Tambien existen conjuntos funcionalmente completos formados por un
unico operador booleano, como puede ser el caso de {NAND} y {NOR}.

En el contexto de la logica proposicional, los conjuntos de conectivas

funcionalmente completos tambien son llamados suficientes.

--Definicion formal--
Dado el dominio booleano B = {0,1}, un conjunto de F funciones booleanas ƒi: Bni →
B es funcionalmente completo si el clon algebraico en B generado por las funciones
basicas fi contiene todas las funciones ƒ: Bn → B, para todos los enteros
positivos n ≥ 1. En otras palabras, el conjunto es funcionalmente completo si todas
las funciones booleanas que toman al menos una variable puedes ser expresadas en
terminos de las funciones fi. Teniendo en cuenta que todas las funciones boolenas
formadas por al menos una variable pueden ser expresadas en terminos de funciones
boolenas binarias, F es funcionalmente completo si y solo si cada funcion booleana
binaria del conjunto puede ser expresada en terminos de las funciones en F.

Una condicion mas natural se daria cuando el clon generado por F consistiese en
todas las funciones ƒ: Bn → B, para todos los enteros n ≥ 0. De todas maneras, los
ejemplos dados arriba no son funcionalmente completos en su forma mas fuerte porque
no es posible escribir una funcion árida en terminos de F si la misma F no contiene
como minimo una funcion árida. Con esta deficion mas fuerte, el conjunto
funcionalmente completo tendria 2 elementos.

Otra condicion natural seria que el clon generado por F junto con las dos funciones
constantes aridas sea funcionalmente completo o, equivalentemente, funcionalmente
completo en el sentido del parrafo anterior. El ejemplo de la funcion boolenada
dada por S(x, y, z) = z si x = y y S(x, y, z) = x nos muestra que esta condicion es
estrictamente mas debil que la completitud funcional.

//TODO
--Caracterizacion de la completitud funcional--
Emil Post demostró que un conjunto de conectivas logicas es funcionalmente completo
si y solo si no es un subconjunto de ninguno de los siguientes conjuntos de
conectivas:

- Las conectivas monótonas, que cambian el verdadero valor de cualquier

variable de F a V sin cambiar

--Conjunto minimo de operadores funcionalmente completos--

Cuando una conectiva logica u operador booleano es funcionalmnete completo por si
mismo, es llamado una funcion de Sheffer. No existen operadores unarios con esta
propiedad. NAND y NOR, que comparten un principio de dualidad entre ellos, son las
unicas dos funciones de Sheffer binarias. Estas fueron descubiertas, pero no
publicadas, por Charles Sanders Peirce en torno a 1880, y redescubiertas y
publicadas por Henry M. Sheffer en 1913. En terminos de la electronica digital, la
puerta binaria NAND y la puerta binaria NOR son las unicas puertas logicas binarias
universales.
Los siguientes conjuntos de conectivas logicas son los minimos funcionalmente
completos con aridad ≤ 2:

COGER LOS EJEMPLOS QUE HAY EN LA PAGINA DE WIKIPEDIA ( UN ELEMENTO, DOS

ELEMENTOS Y TRES ELEMENTOS)

No hay conjuntos minimos funcionalmente completos de mas de tres conectivas logicas

binarias.

-- Ejemplos --
Ejemplos de uso de la completitud de NAND:

EJEMPLO WIKIPEDIA

Ejemplos de uso de la completitud de NOR:

EJEMPLO WIKIPEDIA

-- Teoria de conjunos --
Hay un isomorfismo entre el algebra de conjuntos y el algebra de bool, es decir,
que tienen la misma estructura. Entonces, si mapeamos aperadores booleanos como
conjuntos de operadores, el texto anterior puede ser valido tambien para conjuntos:
hay muchos "conjuntos minimos de operadores" que pueden generar cualquier otra
relacion de conjuntos. Los "conjuntos minimos de operadores" mas conocidos son {¬,
∩} y {¬, ∪}.