Kuinka muuntaa cnf:ksi?

Sisällysluettelo:

Kuinka muuntaa cnf:ksi?
Kuinka muuntaa cnf:ksi?
Anonim

Ensimmäisen asteen logiikan muuntaminen CNF:ksi:

  1. Muunna negatiivisen normaalimuotoon. Eliminoi implikaatiot ja vastaavuudet: korvaa toistuvasti; korvata. …
  2. Standardoi muuttujat. …
  3. Skolemoi lause. …
  4. Poista kaikki yleiset kvantisoijat.
  5. Jaa TAI:t sisäänpäin AND-merkkien päälle: korvaa toistuvasti.

Mikä on CNF-kaava?

Konjunktiivinen normaalimuoto (CNF) on lähestymistapa Boolen logiikkaan, joka ilmaisee kaavat lauseiden konjunktioina AND- tai TAI-merkillä. Jokaisen konjunktiolla tai AND:lla yhdistetyn lauseen tulee olla joko kirjaimellinen tai sisältää disjunktio tai OR-operaattori. CNF on hyödyllinen automaattisessa lauseen todistamisessa.

Voitko muuntaa DNF:n CNF:ksi?

Jos haluat ottaa käyttöön lisämuuttujia, voit muuntaa DNF-muodosta CNF-muotoon polynomiajassa käyttäen Tseitin-muunnosta. Tuloksena oleva CNF-kaava on yhtäläinen alkuperäisen DNF-kaavan kanssa: CNF-kaava on tyydyttävä, jos ja vain, jos alkuperäinen DNF-kaava oli tyydyttävä.

Kuinka saan CNF:n?

Kirjoita vain ylös totuustaulukko, joka on melko helppo löytää, ja päättele CNF- ja DNF-arvosi. Jos haluat löytää DNF:n, sinun on katsottava kaikki rivit, jotka päättyvät T. Kun löydät nämä rivit, ota x-, y- ja z-arvot kustakin vastaavasta sarakkeesta. Siten saat (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).

Miten muunnat disjunktiivin muotoonnormaali muoto?

Yhdistetyn lauseen sanotaan olevan disjunktiivisessa normaalimuodossa tai DNF, jos se on yksinkertaisten termien konjunktioiden disjunktio, ja jos lisäksi jokainen propositiaalinen lauseke muuttuja esiintyy korkeintaan kerran kussakin konjunktiossa ja jokainen konjunktio esiintyy korkeintaan kerran disjunktiossa.

Suositeltava:

Mielenkiintoisia artikkeleita
Kuinka parantaa sialadeniittia luonnollisesti?
Lue lisää

Kuinka parantaa sialadeniittia luonnollisesti?

Kotihoitoihin kuuluu: juo 8-10 lasillista vettä päivittäin sitruunan kanssa stimuloidaksesi syljeneritystä ja pitääksesi rauhaset puhtaina. vaurioituneen rauhasen hierominen. lämpimien kompressien levittäminen vahingoittuneeseen rauhaseen.

Oliko Baileyssä staph?
Lue lisää

Oliko Baileyssä staph?

Kyllä, Bailey oli staph kantaja. Mutta ei, hän ei ollut syyllinen. Sairaala oli vaihtanut käsineiden valmistajaa Pegasus-onnettomuuden aikana, minkä seurauksena he käyttivät viallisia käsineitä, joissa oli periaatteessa pieniä reikiä. Aiheuttaako Bailey infektion?

Mitä Raamattu sanoo sikojen syömisestä?
Lue lisää

Mitä Raamattu sanoo sikojen syömisestä?

Kirjassa 3Moos. 11:27 Jumala kieltää Moosesta ja hänen seuraajiaan syömästä sikoja, "koska se halkaisee kaviota, mutta ei pureskele sikaa". Lisäksi kielto kuuluu: "Älä syö heidän lihaansa, äläkä koske heidän ruumiisiinsa; ne ovat sinulle epäpuhtaita.