tautologia ona: czy to jest tautologia? p⋁q ⇒ p∧q w odp. mam, że jest to tautologia, ale mi się wydaje, że nie

MQ: To sprawdź.

ona: sprawdziłam, i dla mnie nie jest, ale nie wiem czy ja zrobiłam błąd czy w jest w książce

asdf: tez nie wiem, pokaz obliczenia

ona: p | q | (p∨q) | (p∧q) | (p∨q ⇒ p∧q ) 0 0 o 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1

asdf: ok