a studiatosh1t: Udowodnić, że tautologią jest [(p ⇒ r) ∧ (q ⇒ r) ∧ (p ∨ q)] ⇒ r nie wiem jak zrobić to metodą 0−1, w momencie gdy mamy 3 zmienne zdaniowe. Jak wtedy dobrać r do p i q?

ICSP: dla jednej zmiennej masz liczby 0 , 1 dla dwóch zmiennych masz pary (0 , 0) , (0 , 1) , (1 , 0) , (1 , 1) jak sądzisz jak to będzie wyglądać dla 3 zmiennych ?

studiatosh1t: do każdej z tych kombinacji dodajemy kolejną, zeby byly wszystkie mozliwe opcje, bedzie ich 8?

ICSP: tak.