Sprawdź czy podana formuła jest tautologią
stu: ~(p ∨ q) => [~( p ∧ q) ∨ ~(~q => p)]
Sprawdzi ktoś czy to jest tautologia?
6 gru 16:30
kochanus_niepospolitus:
a co ... Ty nie potrafisz zrobić tabelki
6 gru 16:35
stu: Mam rozwiązanie i chciałbym sprawdzić czy dobrze zrobiłem...
6 gru 16:37
Dziadek Mróz:
| |A |B | |C |D |E |F |
p |q |~q |p∨q |∼B |p∧q |~C |A⇒p|~D |D∨F
0 |0 |1 |0 |1 |0 |1 |0 |0 |1
0 |1 |0 |1 |0 |0 |1 |1 |0 |1
1 |0 |1 |1 |0 |0 |1 |0 |0 |1
1 |1 |0 |1 |0 |1 |0 |1 |1 |1
6 gru 18:55