Completude Funcional

Na lgica, um grupo de conectivos tem a propriedade da completude funcional se todos outros conectivos possveis podem ser definidos em funo dele. Conectivos Primitivos: ^, V, , ,~

Os conjuntos { NAND } , { NOR} , { completude funcional.

},{

}e{

} possuem a propriedade da

J os conectivos binrios NOR e NAND sozinhos, possuem a propriedade da completude funcional, e so chamados Anfeque.

Demonstrao da completude funcional em um conjunto

Utilizando apenas a negao operaes. Disjuno: e a implicao podemos gerar todas as outras

Conjuno:

Bi-implicao:

Conjunto funcionalmente incompleto

Seja um conjunto que engloba a conjuno, disjuno, implicao e a bi implicao. Tentemos fazer a negao:

Com isso no conseguimos a partir de um valor lgico "1" gerar um "0", e com isso a negao no teria como ser implementada utilizando essas portas lgicas. Conclui-se que esse conjunto seria funcionalmente incompleto.