logika zadanie: Przeksztalcic formule zdaniowa (q⇒p)⋀(p⋁r) do krotszej, rownowaznej postaci, tak by kazda zmienna zdaniowa wystepowala w niej co najwyzej raz. W kazdym przejsciu podac tautologie, z ktorej sie korzysta. Korzystam kolejno z tautologii: eliminacja implikacji, rozdzielnosc koniunkcji wzgledem alternatywy, prawo pochlaniania. (q⇒p)⋀(p⋁r) ⇔ (¬q⋁p)⋀(p⋁r) ⇔ (¬q⋀(p⋁r))⋁((p⋀(p⋁r)) ⇔ (¬q⋀(p⋁r))⋁p moge dalej poprosic o pomoc?

zadanie: ?

ite: Czy takie rozwiązanie jest prawidłowe? (q⇒p)∧(p∨r) /eliminacja implikacji/ ⇔ (¬q∨p)∧(p∨r) /rozdzielność alternatywy względem koniunkcji/ ⇔ p∨(¬q∧r)