postać normalna nor: Metodą przekształceń równoważnościowych sprowadzić formułę (p→q)∧(q→r)→(p∨q→r) do postaci normalnej i sprawdzić czy jest ona tautologią KRZ. Odpowiedź uzasadnij.

nor: up

chichi: zacznij od pozbycia się wszystkich implikacji korzystając z prawa jej eliminacji, tj. (p ⇒ q) ⇔ ¬p ∨ q

nor: Nie wychodzi, mieszają mi się te alternatywy i koniunkcje, kalkulatory też nie pokazują

ite: Zapisz, jak rozwiązujesz, to będzie można dokończyć lub poprawić.