Poniżej p i q² oznaczają zadania . Zbadaj jaką wartość logiczną ma to zadanie złożone w zależności od wartości logicznych p i q ².
p q r
[p Λ (q∨r)]<=>[(pΛq)∨(pΛr)]
Nie zadania, ale zdania.
[p^(q v r)] <=> [(p ^q) v ( p ^r)]
To zdanie jest prawdziwe dla dowolnych zdań p,q,r.
Jest to rozdzielność koniunkcji względem alternatywy.
Można to łatwo udowodnić metoda zerojedynkową.
