mantık

bileşik önermesinin en sade biçimi nedir?

(p'nq)'=(pvq') (değilini aldık.)(şimdi (p')'ni buna dağıtalım.)
(p'np)v(p'nq')=(0)v(p'nq') (p'np)=0 neden oldu, p=0 ise p'=1 olur; 0n1=0; p=1 ise p'=0 olur, 0n1=0 olur yine.)

(0)v(p'nq') (veya'da sonucu 0 olmayan belirler, çünkü (p'nq')=0 ise (0v0)=0 olur; (p'nq')=1 ise (0v1)=1 olur, sonuç buna göre değişir. O yüzden sonuç (p'nq') olur.

(p'nq')=(pvq)' , bir de bunun "değili" vardı en üstte, =(pvq) olur.

anladım, güzel anlatmışsın teşekkürler.