Question

$p\vee q\Leftrightarrow p$ önermesinin en sade şekli nedir?

Answer 1

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

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

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

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

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

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

$$\equiv(0\vee (p\wedge q)$$

$$\equiv p\wedge q$$

Comments

[1 v q]=1 değil mi? q almissiniz da