logika-help!!!

[Gość: Darek]

[~(pu~q)=>q]<=>(puq) czy mam dobrą tabelkę?
p q ~q pu~q ~(pu~q) [~(pu~q)=>q] puq [~(pu~q)=>q]<=>(puq)
1 0 1 1 0 1 1 nie wiem czy ta kolumna ma
1 1 0 1 0 1 1 być POMOCY!!!
0 1 0 0 1 1 1
0 0 1 1 0 1 0

[Gość: bartek]

Tak - to nie jest prawo logiczne!Tabelka powinna zawierać tyle kolumn ile jest
znaków(6) i zmiennych(2)- tu możesz dołączyć jeszcze jedną związana z <=> -
będzie taka sama jak Twoja siódma

[Gość: Darek]

Boże! Wielkkie dzięki a już myślałem,że nie dam rady z tym zadaniem.
Od razu mi lepiej Bardzo mi Pan pomógł. Naprawdę dziękuję!!!

[tadpod]

No, cóż. Nikt nie chciał pochwalić cię, że te 7 kolumn jest w
porządku. A jeszcze 8-ma końcowa to ta dana - równoważność kolumn 6
i 7 jest z tabelki rownoważności taka:
1
1
1
0
a więc ta równoważność nie jest zdaniem prawdziwym, czyli nie jest
prawem rachunku zdań (tautologią). Gdyby "wyszły" ci same jedynki to
tak.

[tadpod]

O! Przepraszam. bartek wszystko ci wyjaśnił wcześniej,gdy ja akurat
do ciebie pisałem.

[Gość: Darek]

naprawdę bardzo dziękuję obu Panom:))