p |
‘1 |
< a |
> |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
JEST TO PRAWO LOGICZNE
P - (P A q)
p |
‘1 |
p A q |
p - (p A q) |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
NIE JEST TO PRAWO LOGICZNE
Jeżeli pada deszcz to pada deszcz lub pada śnieg, (przynajmniej jedno pada) P - (pvq)
P |
<1 |
Pvq |
P - (pvq) |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
JEST TO PILAWO LOGICZNE
Pada deszcz lub śnieg to pada deszcz.
P |
q |
p vq |
(p v q) p |
0 |
0 |
0 |
l |
0 |
i |
1 |
0 |
1 |
0 |
1 |
i |
1 |
1 |
1 |
i |
NIE JEST TO PRAWO LOGICZNE
Jeżeli oddycha to żyje — jeżeli nie żyje to nie oddycha.
(p - q) ~ (~q - ~ p)