Chapter 12.2, Problem 15E

To determine

(a)

To show:

$\overline{x}=x\downarrow x$

To determine

(b)

To show:

$xy=\left(x\downarrow y\right)|\left(y\downarrow y\right)$

To determine

(c)

To show:

$x+y=\left(x\downarrow y\right)|\left(x\downarrow y\right)$