Loogika kodutöö 2
Kodune töö nr. 2
1. Kas lause on tõeväärtuseliselt väär, tõene või määramata?
(( A ≡ B) ((B A) v A))
A B
((A ≡ B) ((B A) v
A))
t t v t t t t
v
t v v v t t t
v
v t v v t v t
t
v v v t t t t
t
Vastus: Lause on tõeväärtuseliselt väär.
2. Kas laused on tõeväärtuseliselt ekvivalentsed?
(P & ~Q) v (~P & Q) P ≡ ~Q
P Q (P & ~Q) v (~P P
& Q) ≡
~Q
t t v v v v v
v v
t v t t t v t
...