Turinys:
- Apibrėžimas - ką reiškia jungtinė normalioji forma (CNF)?
- „Techopedia“ paaiškina jungtinę normaliąją formą (CNF)
Apibrėžimas - ką reiškia jungtinė normalioji forma (CNF)?
Konjunktyvioji normalioji forma (CNF) yra požiūris į loginę logiką, išreiškiančią formules kaip junginių sakinius su AND arba OR. Kiekviena sąlyga, sujungta jungtuku, arba AND, turi būti pažodžiui arba joje turi būti disjunkcija, arba ARBA operatorius. CNF yra naudingas automatiniam teoremos įrodymui.
„Techopedia“ paaiškina jungtinę normaliąją formą (CNF)
Jungiamojoje normaliojoje formoje Boole logikoje teiginiai yra sakiniai su sakiniais su atjungimais. Kitaip tariant, teiginys yra AŠ, sujungtų IR, serija.
Pavyzdžiui:
(A AR B) IR (C AR D)
(A OR B) IR (NE C OR B)
Išlygos taip pat gali būti pažodžiui:
A ARBA B
A IR B
Literalai CNF vertinami kaip pažodinių sakinių junginiai ir junginiai, kurie turi vieną sakinį. Galima konvertuoti teiginius į CNF, parašytus kita forma, pavyzdžiui, įprasta disjunkcine forma.
