|
Теорема: Мухохазалар алгебрасидаги хар кандай айнан ёлгон булмаган формулалар конъюктив бир хадларнинг урни алмашиши аниклигида ягона куринишдаги ТДНФ га ифодалаш мумкин.
Демак, юкоридаги теоремага асосан берилган формулаларнинг ТДНФ ини аниклаш учун бу формулаларнинг ростлик жадвалини тузиб оламиз ва формула бир кийматга эришидиган танланмаларга мос келган конъюктив бир хадларнинг дзъюнкциясини оламиз.
Мулохазалар алгебрасидаги формулаларни такомиллашган конoюктив нормал форма (ТКНФ)ларда ифодалаш.
Бу ерда хам куйдаги белгилашларни киритиб оламиз.
x = булса.
Do'stlaringiz bilan baham: | 
