There is no way. For example, to prove that {↑} is a minimal fully functional set, it is only necessary to prove the logical conjunction "? ,∧,∨,→,? "It can be expressed by the conjunction" ↑ ":

1)? p & lt= = & gt？ (p∧p)& lt； = = & gtp↑p；

2)p∨q & lt； = = & gt？ (? (p∨q))& lt； = = & gt？ (? p∧？ q)& lt； = = & gt？ p↑？ q & lt= = & gt((p↑p)↑( q↑q))；

3)p∧q & lt； = = & gt？ (? (p∧q))& lt； = = & gt？ (p↑q)& lt； = = & gt((p↑q)↑(p↑q))；

4)p→q & lt； = = & gt？ p∨q & lt； = = & gt？ (p∧？ q)& lt； = = & gtp↑？ q & lt= = & gtp ↑( q↑q)；

4)p？ q & lt= = & gt(p→q)∧(q→p)& lt； = = & gt(p ↑( q↑q))∧(q ↑( p↑p))& lt； = = & gt……。