Хэрхэн cnf руу хөрвүүлэх вэ?

Агуулгын хүснэгт:

Хэрхэн cnf руу хөрвүүлэх вэ?
Хэрхэн cnf руу хөрвүүлэх вэ?
Anonim

Нэгдүгээр эрэмбийн логикийг CNF руу хөрвүүлэхийн тулд:

  1. Үгүйсгэх энгийн хэлбэр рүү хөрвүүлэх. Үр дагавар ба дүйцэхүйц байдлыг арилгах: -аар дахин дахин солих; -ээр солино. …
  2. Хувьсагчдыг стандартчилна уу. …
  3. Мэдэгдэлд бичнэ үү. …
  4. Бүх бүх нийтийн хэмжигчийг орхи.
  5. OR-г AND дээр дотогшоо хуваарилах:.-р дахин дахин солих

CNF томьёо гэж юу вэ?

Холбооны хэвийн хэлбэр (CNF) нь томьёог AND эсвэл OR -тэй өгүүлбэрүүдийн холболтоор илэрхийлдэг Булийн логикт хандах хандлага юм. Холбогч буюу AND-аар холбогдсон өгүүлбэр бүр нь шууд утга эсвэл салгах, эсвэл OR оператор агуулсан байх ёстой. CNF нь теоремыг автоматаар батлахад хэрэгтэй.

Та DNF-г CNF болгон хөрвүүлж чадах уу?

Хэрэв та нэмэлт хувьсагчийг нэвтрүүлэх хүсэлтэй байгаа бол Цейтин хувиргалтыг ашиглан олон гишүүнт цагийн DNF хэлбэрээс CNF хэлбэрт хөрвүүлж болно. Үүссэн CNF томьёо нь анхны DNF томьёотой тэнцүү байх болно: CNF томьёо нь зөвхөн анхны DNF томьёо хангагдсан тохиолдолд л хангагдна.

Би яаж CNF авах вэ?

Олоход маш хялбар үнэний хүснэгтийг бичиж аваад CNF болон DNF-ээ гаргана уу. Хэрэв та DNF-г олохыг хүсвэл T-ээр төгссөн бүх мөрийг харах хэрэгтэй. Тэдгээр мөрүүдийг олохдоо харгалзах багана бүрээс x, y, z утгуудыг авна. Ингэснээр та (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z)-г авна.).

Та салгагчийг хэрхэн хувиргах вэхэвийн хэлбэр үү?

Хэрэв энэ нь энгийн нэр томьёоны холбоосуудын салгах, цаашилбал пропозиция бүр нь байвал нийлмэл санааг салгах хэвийн хэлбэр буюу DNF гэж хэлнэ. хувьсагч нь холболт бүрт хамгийн ихдээ нэг удаа, холболт бүр дизьюнкцид хамгийн ихдээ нэг удаа тохиолддог.

Зөвлөмж болгож буй:

Сонирхолтой зүйл
Яагаад центос ашигладаг вэ?
Цааш унших

Яагаад центос ашигладаг вэ?

CentOS нь мөн маш тогтвортой, аюулгүй байхаар бүтээгдсэн боловч үр дүнд нь ихэнх үндсэн системүүд нь аюулгүй байдлын шинэчлэлтүүдтэй хуучин, илүү боловсронгуй програм хангамжийн хувилбаруудыг ажиллуулж болно. Шаардлагатай бол Redhat. CentOS нь дунд хэмжээний бизнесүүд болон cPanel шаарддаг вэб сайтуудад тохиромжтой сонголт юм.

Нууц тоглоом гэж хэн бэ?
Цааш унших

Нууц тоглоом гэж хэн бэ?

Энэ бол тоглогчдын хэн болохыг бие биенээсээ нуусан үг таах баг юм. Тоглоомын мастер тоглогч бүрт урьдчилан бичсэн үг бүхий цаас тарааж эхэлдэг. Тоглогчдын хэн болох нь ижил төстэй тоглогчдын хувьд ч нууц байдаг. Хэн онлайнаар нууц байдаг вэ?

Ботаник дахь aestivation гэж юу вэ?
Цааш унших

Ботаник дахь aestivation гэж юу вэ?

Астиваци буюу таамаглал гэдэг нь цэцгийн нахиа нээгдэхээс өмнө цэцгийн хэсгүүдийн байрлалын байрлал юм. Ургамлын нахиа дахь навчны зохион байгуулалт гэсэн үг. Аэстиваци, түүний төрөл гэж юу вэ? Астиваци буюу таамаглал нь цэцгийн нахиа нээгдэхээс өмнө нахиа доторх цэцгийн хэсгүүдийн байрлалын зохион байгуулалт юм.