czy podane wyrażenie jest tautologią:
oczupryna: [(p⇒q)⋀(p⋁q)]⇔p
20 paź 20:46
Vizer: Jakby to
Trivial powiedział należy użyć metody "brute force"
20 paź 20:47
Rivi: jeśli p jest prawdziwe (to p⇒q) jest fałszywe dla q=0 −> nie jest tautologią
20 paź 20:49
agata: p q p⇒q p⋁q (p⇒q)⋀(p⋁q) ..........
1 1 1 1 1 1
1 0 0 1 1 0
Dalej nie musisz sprawdzać, bo to nie jest tautologia (w ostatnim słupku muszą być same 1 przy
tautologii)
20 paź 20:54
oczupryna: no rozjasniło mi się...
20 paź 21:02
Trivial: brut fooose.
20 paź 21:15