Question

(pVq)⇒(p⋀q) en sade biçimi=?

Answer 1

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

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

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

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

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

$$(q'\vee p)\wedge (p'\vee q)$$  En sadeden ne anladığımıza bağlı olarak bu sorunun çözümü 1. satırda,2. satırda da bitirilebilir di.

Comments

Ben de hocamın cevabına bir ilave yapayım. Yukarıdaki son adımdan sonra şunları da yazabiliriz.

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

$$\equiv$$

$$(q\to p)\wedge (p\to q)$$

$$\equiv$$

$$p\leftrightarrow q$$