İspat

Question

(pΛq') v (qΛp')≡(pvq)Λ(p'vq)

Comments

Denkliğin sağ tarafı $(p\vee q)\wedge  (p^{'}\vee q^{'})$ şeklinde olmalı.

Answer 1

$$(p\wedge q')\vee (q\wedge p')$$

$$\equiv$$

$$[p\vee (q\wedge p')]\wedge [q'\vee (q\wedge p')]$$

$$\equiv$$

$$[(p\vee q)\wedge (p\vee p')]\wedge [(q'\vee q)\wedge (q'\vee p')]$$

$$\equiv$$

$$[(p\vee q)\wedge 1]\wedge [1\wedge (q'\vee p')]$$

$$\equiv$$

$$(p\vee q)\wedge (q'\vee p')$$