Selam
Sorumuza baktığımızda hen parantez içinde hem de dışında de morgan kuralı görüyoruz aslında ilk parantez içi işlem yapmalıyız ama biz işlemi kolaylaştırmak için parantez dışındaki içeriye dağıtıp başlayacağız.
- (p' ^ q')'
- (p v q) olarak dağılır.
şimdi devam edelim
q' parantez içine dağılır.
(q' ^ q) sonucu 0 çıkmak zorundadır çünkü ve baglacinda 1 ^ 1 dışındaki tüm önermeler 0 kabul edilir burda da q ve onun degili olduğu için birinin mutlaka 0 olması gerekir biri zaten sifirsa sonuçta sıfırdır.
artık sonuc (p ^ q' ) buna bağlı eğer bu 1 ise sonuç 1 0 ise sonuç sıfırdır yani bu önergenin en sade hali (p ^ q') dir.
Noćnik
