Нэгдүгээр эрэмбийн логикийг CNF руу хөрвүүлэхийн тулд:
- Үгүйсгэх энгийн хэлбэр рүү хөрвүүлэх. Үр дагавар ба дүйцэхүйц байдлыг арилгах: -аар дахин дахин солих; -ээр солино. …
- Хувьсагчдыг стандартчилна уу. …
- Мэдэгдэлд бичнэ үү. …
- Бүх бүх нийтийн хэмжигчийг орхи.
- 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 гэж хэлнэ. хувьсагч нь холболт бүрт хамгийн ихдээ нэг удаа, холболт бүр дизьюнкцид хамгийн ихдээ нэг удаа тохиолддог.
