En lógica, un conjunto funcionalmente completo de conectivas lógicas 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 conectivas es { AND, NOT }, que consisten en la conjunción y la negación lógica.
También existen conjuntos funcionalmente completos formados por un único operador booleano, como puede ser el caso de { NAND } y { NOR }.
Otra condición natural sería que el clon generado por F, junto con las dos funciones constantes áridas, sea funcionalmente completo o, equivalentemente, funcionalmente completo en el sentido del párrafo anterior.
Cuando una conectiva lógica u operador booleano es funcionalmente completo por sí mismo, es llamado una función de Sheffer.