Logika piessek: Korzystajac z praw rachunku zdan pokaz postac koniunkcyjna i dysjunkcyjna. \/ − Lub /\ − i <=> − rownowaznosc ~ − negacja => − implikacja 1)p<=>q (p<=>q) <=> ( p => q )/\ ( q => p) <=> ~( p /\ ~q) /\ ~(q /\ ~p) <=> (~p \/ q) /\ (~q \/ p) Uzyskalem w ten sposob postac koniunkcyjna. Nie wiem jak ja dalej doprowadzic do postaci dysjunkcyjnej. Pomoze ktos?

piessek: Odpowie ktos ?

piessek: ?