Vsebina
- Opredelitev - Kaj pomeni konjunktivna normalna oblika (CNF)?
- Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
- Tehopedija pojasnjuje konjunktivno normalno obliko (CNF)
Opredelitev - Kaj pomeni konjunktivna normalna oblika (CNF)?
Konjunktivna normalna oblika (CNF) je pristop k logični logiki, ki izraža 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.
Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
Tehopedija pojasnjuje konjunktivno normalno obliko (CNF)
V pogojni normalni obliki so stavki v logični logiki zvezki členov 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 veznic, ki imajo eno samo klavzulo. Možno je pretvoriti izjave v CNF, ki so zapisane v drugi obliki, na primer disjunktivno normalno obliko.