Tartalomjegyzék:
- Meghatározás - Mit jelent a konjunktív normál forma (CNF)?
- A Techopedia magyarázza a konjunktív normál alakot (CNF)
Meghatározás - Mit jelent a konjunktív normál forma (CNF)?
A konjunktív normál forma (CNF) egy olyan megközelítés a logikai logikához, amely a képleteket kifejezések zárójeleként fejezi ki AND-val vagy OR-val. Mindegyik konjunktúrával összekötött záradéknak, vagy ÉSnek, szónak kell lennie, vagy tartalmaznia kell diszjunkciót, vagy VAGY operátort. A CNF hasznos az automatikus tételbizonyításhoz.
A Techopedia magyarázza a konjunktív normál alakot (CNF)
Konjunktív normál formában a logikai logikában szereplő állítások a záradékok konjunktúrái és a diszjunció záradékai. Más szavakkal: egy nyilatkozat az ÉK-k által összekötött legkülső régiók sorozata.
Például:
(A VAGY B) ÉS (VAGY D)
(A VAGY B) ÉS (NEM VAGY B VAGY)
A kikötések lehetnek literálisak is:
VAGY B
A ÉS B
A literálokat a CNF-ben úgy tekintik, mint a szómondatok és a konjunktúrák összekapcsolásait, amelyeknek egyetlen mondata van. Lehetséges konvertálni CNF formátumú állításokat, amelyek más formában vannak írva, például diszjunktív normál formában.
