Tautologia Galoty: Mam taką tautologię: (p ∧(q ∨ r )) ⇒ (r ∨(p ∧ ∼ q)) obliczyłem i wyszło mi że jest prawdziwa. Czy mógłby ktoś sprawdzić czy mam poprawny wynik?

Blee: to pokaż nam Twoja tabelkę sprawdzającą. Tak trudno zrobić zdjęcie, wstawić na serwer i umieścić tutaj link?