Question Number 1545 by x-2 last updated on 17/Aug/15

$${x}−\mathrm{2}=\mathrm{0} \\ $$
Answered by 123456 last updated on 17/Aug/15

$${x}−\mathrm{2}=\mathrm{0} \\ $$$${x}−\mathrm{2}+\mathrm{2}=\mathrm{0}+\mathrm{2} \\ $$$${x}=\mathrm{2} \\ $$
Commented by 123456 last updated on 30/Aug/15
![x=a∨y y=b∧x a b x_0 y_0 x y 0 0 0 0 0 0 (p.f) 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 (p.f) 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 (p.f) 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 (p.f) 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 (p.f) [a,b]=[0,0] [0,0] [0,1] ↑ ↙ [1,0]←[1,1] [a,b]=[0,1] [0,0] [0,1] ↗↙ [1,0] [1,1] [a,b]=[1,0] [0,0] [0,1] ↓ ↙ [1,0]←[1,1] [a,b]=[1,1] [0,0] [0,1] ↓ ↙ [1,0]→[1,1]](https://www.tinkutara.com/question/Q1660.png)
$${x}={a}\vee{y} \\ $$$${y}={b}\wedge{x} \\ $$$${a}\:{b}\:{x}_{\mathrm{0}} \:{y}_{\mathrm{0}} \:{x}\:{y} \\ $$$$\mathrm{0}\:\mathrm{0}\:\mathrm{0}\:\mathrm{0}\:\mathrm{0}\:\mathrm{0}\:\left({p}.{f}\right) \\ $$$$\mathrm{0}\:\mathrm{0}\:\mathrm{0}\:\mathrm{1}\:\mathrm{1}\:\mathrm{0} \\ $$$$\mathrm{0}\:\mathrm{0}\:\mathrm{1}\:\mathrm{0}\:\mathrm{0}\:\mathrm{0} \\ $$$$\mathrm{0}\:\mathrm{0}\:\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\mathrm{0} \\ $$$$\mathrm{0}\:\mathrm{1}\:\mathrm{0}\:\mathrm{0}\:\mathrm{0}\:\mathrm{0}\:\left({p}.{f}\right) \\ $$$$\mathrm{0}\:\mathrm{1}\:\mathrm{0}\:\mathrm{1}\:\mathrm{1}\:\mathrm{0} \\ $$$$\mathrm{0}\:\mathrm{1}\:\mathrm{1}\:\mathrm{0}\:\mathrm{0}\:\mathrm{1} \\ $$$$\mathrm{0}\:\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\left({p}.{f}\right) \\ $$$$\mathrm{1}\:\mathrm{0}\:\mathrm{0}\:\mathrm{0}\:\mathrm{1}\:\mathrm{0} \\ $$$$\mathrm{1}\:\mathrm{0}\:\mathrm{0}\:\mathrm{1}\:\mathrm{1}\:\mathrm{0} \\ $$$$\mathrm{1}\:\mathrm{0}\:\mathrm{1}\:\mathrm{0}\:\mathrm{1}\:\mathrm{0}\:\left({p}.{f}\right) \\ $$$$\mathrm{1}\:\mathrm{0}\:\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\mathrm{0} \\ $$$$\mathrm{1}\:\mathrm{1}\:\mathrm{0}\:\mathrm{0}\:\mathrm{1}\:\mathrm{0} \\ $$$$\mathrm{1}\:\mathrm{1}\:\mathrm{0}\:\mathrm{1}\:\mathrm{1}\:\mathrm{0} \\ $$$$\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\mathrm{0}\:\mathrm{1}\:\mathrm{1} \\ $$$$\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\mathrm{1}\:\left({p}.{f}\right) \\ $$$$\left[{a},{b}\right]=\left[\mathrm{0},\mathrm{0}\right] \\ $$$$\left[\mathrm{0},\mathrm{0}\right]\:\:\:\:\:\left[\mathrm{0},\mathrm{1}\right] \\ $$$$\:\:\:\:\uparrow\:\:\:\swarrow \\ $$$$\left[\mathrm{1},\mathrm{0}\right]\leftarrow\left[\mathrm{1},\mathrm{1}\right] \\ $$$$\left[{a},{b}\right]=\left[\mathrm{0},\mathrm{1}\right] \\ $$$$\left[\mathrm{0},\mathrm{0}\right]\:\:\:\:\:\left[\mathrm{0},\mathrm{1}\right] \\ $$$$\:\:\:\:\:\:\:\nearrow\swarrow \\ $$$$\left[\mathrm{1},\mathrm{0}\right]\:\:\:\:\:\left[\mathrm{1},\mathrm{1}\right] \\ $$$$\left[{a},{b}\right]=\left[\mathrm{1},\mathrm{0}\right] \\ $$$$\left[\mathrm{0},\mathrm{0}\right]\:\:\:\:\:\left[\mathrm{0},\mathrm{1}\right] \\ $$$$\:\:\:\downarrow\:\:\:\:\swarrow \\ $$$$\left[\mathrm{1},\mathrm{0}\right]\leftarrow\left[\mathrm{1},\mathrm{1}\right] \\ $$$$\left[{a},{b}\right]=\left[\mathrm{1},\mathrm{1}\right] \\ $$$$\left[\mathrm{0},\mathrm{0}\right]\:\:\:\:\:\left[\mathrm{0},\mathrm{1}\right] \\ $$$$\:\:\:\downarrow\:\:\:\:\swarrow \\ $$$$\left[\mathrm{1},\mathrm{0}\right]\rightarrow\left[\mathrm{1},\mathrm{1}\right] \\ $$