Sisällysluettelo:
- Määritelmä - Mitä konjunktiivinen normaalimuoto (CNF) tarkoittaa?
- Techopedia selittää konjunktiivisen normaalimuodon (CNF)
Määritelmä - Mitä konjunktiivinen normaalimuoto (CNF) tarkoittaa?
Konjunktiivinen normaalimuoto (CNF) on lähestymistapa Boolen logiikkaan, joka ilmaisee kaavat lauseiden yhdistelmänä AND: n tai OR: n kanssa. Jokaisen konjunktiolla kytketyn lausekkeen, tai AND, on oltava joko kirjaimellinen tai sisältää disjunktion tai TAI operaattorin. CNF on hyödyllinen automaattisen lauseen todistamisessa.
Techopedia selittää konjunktiivisen normaalimuodon (CNF)
Yhdistetyssä normaalimuodossa Boolen logiikassa olevat lauseet ovat lauseiden ja disjunktiolauseiden yhdistelmiä. Toisin sanoen lause on joukko AND-alueiden yhdistämiä OR-alueita.
Esimerkiksi:
(A TAI B) JA (C TAI D)
(A TAI B) JA (EI C TAI B)
Lausekkeet voivat olla myös kirjaimellisia:
TAI B
A JA B
Literaalit nähdään CNF: ssä kirjaimellisten lauseiden ja konjunktioiden yhdistelminä, joilla sattuu olemaan yksi lause. On mahdollista muuntaa lauseet CNF: ksi, jotka on kirjoitettu toisessa muodossa, kuten disjunktiivisessa normaalimuodossa.
