AND jest to funktor logiczny "i". Jeśli posiadasz zdanie "Ala ma kota" oraz zdanie "Ala ma psa" to wypowiedzenie zdania "Ala ma kota i psa" oznacza, że Ala musi mieć i kota i psa - jeśli jednego z nich nie ma to zdanie będzie fałszem (kłamstwem)
OR jest funktorem oznaczającym "lub". "Ala ma kota lub psa" oznacza, że Ala ma przynajmniej jedno zwierzę, a zdanie jest fałszywe tylko w przypadku gdy Ala nie ma ani kota ani psa
NAND można rozumieć jako "Not AND" czyli "nie prawda, że i" - fałsz występuje gdy oba zdania okażą się niestety poprawne, np. "nie prawda, że Ala ma kota i psa" - teraz jeśli się okaże, że ma to i to wtedy wystąpi fałsz, jeśli ma jedno zwierzę lub żadne to nie skłamaliśmy
funktor NOR jak można łatwo się domyśleć oznacza "Not OR" czyli "nie prawda, że lub", np. "Nie prawda, że Ala ma kota lub psa". Prawdę osiągniemy tylko w wypadku gdy mamy dwa fałszywe warunki (Ala nie ma kota, Ala nie ma psa) wtedy LUB będzie fałszywe, ale że powiedzieliśmy na początku "Nie prawda, że tak jest" to fałsz zamienia się na prawdę
ExOR czy raczej XOR to funktor logiczny oznaczający "albo p, albo q" czyli nie możemy wziąć dwóch rzeczy na raz "albo rybki, albo akwarium", np. "Albo Ala ma kota albo psa" - Prawda występuje tylko gdy Ala ma jedno z tych zwierząt i tylko jedno.
Tablica prawd w załączniku
