-Ay, ışık kaynağı değildir. (p)'
-Kuşlar kanatlıdır ve iki ayaklıdır. (q ∧ r)
-Hava bulutludur veya hava yağmurludur. (p ∨ q)
-Yağmur yağıyor ise hava bulutludur. (p => q)
-Hava bulutlu değilse yağmur yağmaz. (q' => p')
-Bilim faydalıdır. (p)
Bilim faydalı değildir. (p)'
Bilimin faydalı olmadığı doğru değildir. [(p)']'
Doğru önerme=1
Yanlış önerme=0 şeklinde ifade edilir.
- V(veya işareti) önermelerden birisinin değeri 1 olduğu takdirde sonuç 1 dir.
-^(ve işareti) önermelerden ikisininde 1 olması ancak sonucu 1 yapar.
-Ayrıca bir önermenin değilinin değili kendisine eşittir mesela (p')'=p gibi
yukarıdaki önermeler yardımıyla doğruluk tablosu oluşturup bu önermelerin doğruluk değerini test edebilirsiniz
örneğin :-Uzay sonsuzdur veya dünyanın uydusu aydır.(p ∨ q) önermesi dört doğruluk değeri alır
p , q=p v q
d , y =d=uzay sonsuzdur veya dünyanın uydusu ay değildir
y , d =d=uzay sonsuz değildir veya dünyanın uydusu aydır
d , d =d=uzay sonsuzdur veya dünyanın uydusu aydır
y , y =y=uzay sonsuz değildir veya dünyanın uydusu ay değildir
(V(veya işaretli) önermelerden birisinin değeri 1(d) olduğu takdirde sonuç 1(d) dir.
bunun gibi (d veya y sembollerinin yerine 1 veya 0 da kullanılabilir.)bu şekilde diğer önermelerin doğruluk değerlerini bulabilirsiniz
[(p)' ∧(q)'=>(qvp')]'=1(p yi 1;q yu 0 alırsak)
(1 v 0)=>1
1=>1=1 bulunur.