Sisältö
- Määritelmä - mitä konjunktiivinen normaalimuoto (CNF) tarkoittaa?
- Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
- Techopedia selittää konjunktiivisen normaalimuodon (CNF)
Määritelmä - mitä konjunktiivinen normaalimuoto (CNF) tarkoittaa?
Konjunktiivinen normaalimuoto (CNF) on lähestymistapa Boolen logiikkaan, joka ilmaisee kaavat lauseiden yhdistelminä 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.
Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
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.