2013-10-30 50 views
0

我很難掌握'功能完整性'的含義。功能完整性解釋

不是連接詞集{連詞,分詞和否定詞}是功能完整的唯一集合嗎?

+0

http://programmers.stackexchange.com/ –

回答

2

邏輯連接符的一個功能完整的集合是一個可用於通過將該集合的成員組合成布爾表達式來表達所有可能的真值表的集合。 {連接,分離,否定}不是唯一功能完備的集合。 {連接,否定}本身可以形成一個功能完整的集合。 你知道{和,或,而不是}({連詞,分離,否定})在功能上是完整的。現在任何析取的實例都可以替換爲

p V q <=> ¬(¬p∧¬q) 

這意味着單獨的連接和析取可以表示所有可能的真值表。

+0

那麼是{conjuction,disjunction}最小的功能完整集可能嗎? – Steffe

+0

如果你認爲NAND和NOR是獨立的,單態集{NAND}和{NOR}本身在功能上是獨立的,但是NAND基本上不是(AND)。 – jester