一组功能完整的逻辑连接词可用于通过将集合的成员组合成布尔表达式来表达所有可能的真值表。{conjunction, disjunction, negation} 不是唯一功能完整的集合。{conjunction, negation} 本身可以形成一个功能完备的集合。你知道 {and,or,not} ( {conjunction,disjunction,negation} ) 在功能上是完整的。现在任何析取实例都可以替换为
p V q <=> ¬(¬p∧¬q)
这意味着单独的合取和析取可以表达所有可能的真值表。