W jaki sposób można wyrazić p ->(q ∨ r) dudu: Hej, potrzebuję pomocy z tym zadaniem, umiem to przekształcić ale tylko do pewnego momentu. Przyporządkujmy wartości logicznej true liczbę naturalną 1, a wartości logicznej false liczbę naturalną 0. Wtedy funktory logiczne mogą być wyróżnione jako: ~p=1−p, p ∧ q=pq, p ∨ q=max(p, q)=p+q−pq W jaki sposób można wyrazić p −>(q ∨ r)

Basia: weźmy zaprzeczenie ~(p⇒(q∨r)) ⇔ p∧~(q∨r) ⇔ p∧~q∧~r = p(1−q)(1−r) p⇒(q∨r) = 1−p(1−q)(1−r)