Question

P => (p' v q) önermesinin değili?

Comments

$p\Rightarrow$   açılımı $p'v$

$\begin{align*} &[ p'v\left( p^{'}vq\right)]' \\ & p\wedge \left( p\wedge q^{'}\right) \end{align*}$

en sonda böyle kalıyo sanırsam.cevabı nedir 

Answer 1

ise'nin açılımı yapılırsa,

p' v (p'vq)

=(p'vp')vq

=p'vq

Bunun değili alınırsa

cevap =$(p  \wedge q' )$ olur.

Answer 2

$(p\Rightarrow (p'\vee q))'$  isteniyor. $a\Rightarrow b\equiv a'\vee b$ olduğundan,

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

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