(q' v p) ^ (p' ^ q) bu önerme neye denktir?
$[q'\wedge (p'\wedge q)]\vee[p\wedge (p'\wedge q)]\equiv [q'\wedge (q\wedge p')]\vee[p\wedge (p'\wedge q)]\equiv [(q'\wedge q)\wedge p')]\vee[(p\wedge p') \wedge q)]$
$\equiv[0\wedge p')]\vee[0 \wedge q)]\equiv 0\vee 0\equiv 0 $
Teşekkürler
Önemli değil. Başarılar.