没什么方法。比如 {↑} 是极小全功能集的证明，只需证明逻辑联结词 “¬，∧，∨，→，↔” 都可以用连接词 “↑” 表示：
1）¬p <==> ¬(p∧p) <==> p↑p；
2）p∨q <==> ¬(¬(p∨q)) <==> ¬(¬p∧¬q) <==> ¬p↑¬q <==> ((p↑p)↑(q↑q))；
3）p∧q <==> ¬(¬(p∧q)) <==> ¬(p↑q) <==> ((p↑q)↑(p↑q))；
4）p→q <==> ¬p∨q <==> ¬(p∧¬q) <==> p↑¬q <==> p↑(q↑q)； 4）p↔q <==> (p→q)∧(q→p) <==> (p↑(q↑q))∧(q↑(p↑p)) <==> ……。
匿名回答于2019-09-29 11:34:49
