Complete operator base logic

87 Views Asked by At

Show that $F={0,\to}$ is a complete operator basis by giving equivalent formulas for negation,conjunction and disjunction over F.

1

There are 1 best solutions below

4
On BEST ANSWER

I use Polish notation.

Np is equivalent to Cp0.

Kpq is equivalent to NCpNq, which by the above is equivalent to CCpCq00.

Apq is equivalent to CNpq, which by the above is equivalent to CCp0q.