Domov Razvoj Kaj je veznik normalna oblika (cnf)? - definicija iz tehopedije

Kaj je veznik normalna oblika (cnf)? - definicija iz tehopedije

Kazalo:

Anonim

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.

Kaj je veznik normalna oblika (cnf)? - definicija iz tehopedije