Logika
Tyrla: sprawdzic przy pomocy 0 , 1 czy wyrazenie jest Tautologia (wykonac tablice logiczna ,tak zwana
tabelke)
a) ~(p v q) <=> (~p) ᴧ (~q)
b) ~(p <=> q) <=> (~p ᴧ q) v (p ᴧ ~q)
c) ~(~p) <=> p
3 paź 16:51
3 paź 16:55
3 paź 16:55
Tyrla: Tyle to wiem...
3 paź 17:01
Aga1.: a)
pI q I∼p I∼q I pvq I ∼(pvq) I ∼p⋀(∼q)I ∼(pvq)⇔(∼p)v(∼q)I
1 I 1I 0 I 0 I 1 I 0 I 0 I 1 I
0 I 0 I 1 I 1 I 0 I 1 1 I 1 I
0 I 1 I 1 I 0 I 1 I 0 I 0 I 1 I
1 I 0 I 0 I 1 I 1 I 0 I 0 I 1 I
Trochę powiał halny.
3 paź 17:02
Tyrla: A dwa pozostałe ?
3 paź 17:14
heya: spróbuj sam zrobić
3 paź 17:18
Tyrla: c) zrobilem ale pomozcie przy b)
3 paź 17:20
Tyrla: 
3 paź 17:29
Krzysiek: narysuj tabelkę i po kolei wypełniaj.. jak będziesz mieć coś źle to na pewno ktoś poprawi
3 paź 17:30
Tyrla: p | q | p ⇔ q | ~(p ⇔ q) | ~p | ~q |
0 | 0 | 1 | 0 1 1
0 | 1 | 0 | 1 1 0
1 | 0 | 0 | 0 0 1
1 | 1 | 1 | 0 0 0
i dalej nie wiem...
3 paź 17:45
Tyrla:
p | q | p ⇔ q | ~(p ⇔ q) | ~p | ~q |
0 | 0 | 1 | 0 1 1
0 | 1 | 0 | 1 1 0
1 | 0 | 0 | 0 0 1
1 | 1 | 1 | 0 0 0
3 paź 17:46
Tyrla: ?
3 paź 17:53
Tyrla: Moze ktos sprawdzic ?
3 paź 17:59
Krzysiek: 4 kolumna 3 wiersz powinno być '1' a reszta ok.
3 paź 18:03
Tyrla: Ale co dalej ?
3 paź 18:04
Krzysiek: dalej dokładasz kolejne kolumny: 1)~p⋀q ,2) p⋀~q ,3) (~p⋀q) ⋁(p⋀~q) , i ostatnią
4)~(p⇔q) ⇔(~p⋀q) ⋁(p⋀~q)
3 paź 18:09