{→ , ⊥} 是不是功能完备集？要怎么证明

{→ , ⊥} 是不是功能完备集？要怎么证明

建立了一个群，

再看看别人怎么说的。

证明一个连接词集合X不是完全集，没有通用的方法，含有2个原子变元的命题公式中,有16种不等值的命题公式(函数),已知连接词集合{非，析取，合取}是一个完全集，如果你能选择一个由连接词“非，析取，合取”构成的命题公式A，能证明由原子变元P，Q通过该集合X中的连接词不能构造出与命题公式A等值的公式，则该连接词集合就不是完全集，如何选择这样的命题公式A，如何证明由X中连接词集合中的连接词构造不出与A等值的公式，都需要有智慧和丰富的经验，如证明{析取}不是完全集，你可以选择“非P”，无论P，Q如何利用“析取”连接词构造多么复杂的公式不能得到与“非P”等值（等价）的公式即可。