Así que, según la wikipedia, un conjunto de conectivas es completo si y sólo si no pertenece a uno de los grupos de la lista. Uno de los grupos es el de las conectivas que preservan la falsedad, es decir, que la asignación de un valor falso a todas las variables nunca puede producir un resultado verdadero.
Así que claramente XOR tiene esta propiedad, y así $\{XOR\}$ Podría concluir que la heurística no es completa.
Pero esto todavía no me muestra realmente el por qué. Esencialmente es sólo el uso de los resultados anteriores demostrado.
Pero quiero saber, ¿hay alguna manera de demostrar que una de las cuatro funciones booleanas 1-arias no puede ser representada por una conectiva que preserve la falsedad? Porque si pudiera hacerlo, entonces podría darle sentido. Gracias
