Për të kthyer logjikën e rendit të parë në CNF:
- Konverto në formën normale të mohimit. Eliminoni implikimet dhe ekuivalencat: zëvendësoni në mënyrë të përsëritur me; zëvendësoj me. …
- Standardizimi i variablave. …
- Skolemizojeni deklaratën. …
- Hiq të gjithë sasiorët universal.
- Shpërndani OR-të nga brenda mbi AND-të: zëvendësoni në mënyrë të përsëritur me.
Çfarë është një formulë CNF?
Forma normale lidhore (CNF) është një qasje ndaj logjikës Boolean që shpreh formulat si lidhëza të fjalive me një AND ose OSE. Çdo klauzolë e lidhur me një lidhëz, ose AND, duhet të jetë ose literale ose të përmbajë një ndarje, ose operator OSE. CNF është i dobishëm për vërtetimin e automatizuar të teoremës.
A mund ta konvertoni DNF në CNF?
Nëse jeni të gatshëm të prezantoni variabla shtesë, mund të konvertoni nga forma DNF në CNF në kohë polinomiale duke duke përdorur transformimin Tseitin. Formula që rezulton CNF do të jetë e barabartë me formulën origjinale DNF: formula CNF do të jetë e kënaqshme nëse dhe vetëm nëse formula origjinale DNF ishte e kënaqshme.
Si mund të marr CNF?
Thjesht shkruani tabelën e së vërtetës, e cila është mjaft e thjeshtë për t'u gjetur, dhe nxirrni përfundimin tuaj CNF dhe DNF. Nëse dëshironi të gjeni DNF, duhet të shikoni të gjitha rreshtat që përfundojnë me T. Kur të gjeni ato rreshta, merrni vlerat x, y dhe z nga secila kolonë përkatëse. Kështu, ju merrni (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
Si e konvertoni disjunctive nëformë normale?
Një propozim i përbërë thuhet se është në formë normale disjunktive, ose DNF, nëse është një disjunkcion i lidhëzave të termave të thjeshtë, dhe nëse, për më tepër, çdo propozicional ndryshorja ndodh më së shumti një herë në çdo lidhëz dhe çdo lidhëz ndodh më së shumti një herë në disjunksion.
