logika Kaśka: Wyznacz CNF i DNF dla φ:(q⋀(p⋁r⇒r). Pomoże ktoś?

chichi: https://pl.wikipedia.org/wiki/Prawa_rachunku_zda%C5%84 Z czym masz problem?

Kaśka: (¬p⋀¬q⋀¬r)⋁(¬p⋀ q⋀¬r)⋁(p⋀¬q⋀¬r)⋁(¬p⋀¬q⋀ r)⋁ (¬p⋀ q ⋀ r)⋁(p⋀¬q⋀ r)⋁(p⋀ q⋀ r) Czy to jest DNF?

chichi: Co tu się dzieje

Kaśka: źle jest?

chichi: Zanim zaczniesz mówić o DNF, to zobacz co Ty za tasiemca stworzyłaś... Kolejne przekształcenia równoważne pisz najlepiej linijka pod linijką, bo to co tu powstało to...

chichi: Przejrzyj to CAŁE: http://awisniew.home.amu.edu.pl/dydaktyka/Logika1/09.Postacie%20normalne%20rezolucja%20KRZ.pdf

Kaśka: Czyli można to zrobić dużo krócej tak? Ja znam sposób, że robimy tablicę prawdy i wypisujemy wszystkie wartości dla których otrzymaliśmy prawdę.