Kazalo:
- Opredelitev - Kaj pomeni konjunktivna normalna oblika (CNF)?
- Tehopedija pojasnjuje konjunktivno normalno obliko (CNF)
Opredelitev - Kaj pomeni konjunktivna normalna oblika (CNF)?
Konjunktivna normalna oblika (CNF) je pristop k logični logiki, ki izrazi formule kot veznike klavzul z AND ali OR. Vsaka klavzula, povezana s veznikom, ali AND, mora biti bodisi dobesedna ali vsebovati ločitev ali operater ALI. CNF je uporaben za avtomatizirano dokazovanje izrek.
Tehopedija pojasnjuje konjunktivno normalno obliko (CNF)
V normalni obliki so stavki v logični logiki zveze določb s klavzulami ločitev. Z drugimi besedami, izjava je niz OR-jev, ki jih povezujejo AND-ji.
Na primer:
(ALI B) IN (C ALI)
(ALI B) IN (NE C ALI B)
Klavzule so lahko tudi dobesedne:
ALI B
A IN B
Dobesedne vidike CNF obravnavajo kot zveze dobesednih klavzul in zveze, za katere se zgodi, da imajo eno samo klavzulo. Možno je pretvoriti izjave v CNF, ki so zapisane v drugi obliki, na primer disjunktivno normalno obliko.
