logo
  1. Главная страница
  2. Рефераты
  3. Юриспруденция
  4. Иккилик қонуни. Нормал формалар

Иккилик қонуни. Нормал формалар

Загружено в:

20.09.2019

Скачано:

0

Размер:

46.5 KB
Скачать
Иккилик қонуни. Нормал формалар Режа: 1.Иккилик қонуни. 2.Нормал формалар. 3.Мукаммал нормал формалар. Таъриф . МА нинг  формуласида фақат  ,  ,  мантиқ амаллари қатнашиб,  фақат пропозиционал ûзгарувчиларга тегишли бûлса, у щолда  келтирилоган формула ( форма ) дейилади. Лемма . Агар МА нинг  формуласи келтирилган формула бûлса, МА нинг   формулага тенг кучли келтирилган формуласи мавжуд. Теорема . МА нинг ищтиёрий  формуласига тенг кучли келтирилган формула мавжуд. Исбот . Формула ранги бûйича математик индукция методи билан исбот қилинади. Агар формуланинг ранги 0 га тенг бûлса, у пропозиционал ûзгарувчи бûлибб исбот равшан. Ищтиёрий натурал k  1 учун ранги k дан кичик формулага тенг кучли келтирилган формула мавжуд бûлсин. У щолда, формула таърифига кûра  формула   ,    ,   ,    ,    формулалардан бири кûринишида бûлади.    ,    - келтирилган формулалар,   учун эса леммага асосан тенг кучли келтирилган формула мавжуд.    формулани     формула билан ,    формулани (     )  (     ) формула билан, бу формуладаги   ,   формулаларни леммага асосан тенг кучли келтирилган формулалар билан алмаштирамиз. Натижада берилган формулага тенг кучли келтирилган формула щосил бûлади. Шундай қилиб,  формулага тенг кучли келтирилган формула мавжуд.  - келтирилган формула, яъни  формулада  ,  ,  - мантиқ амалларигина қатнашиб,  фақат пропозиционал ûзгарувчиларгагина тегишли бûлсин. Таъриф . МА нинг  * формуласи  формуладан конъюнкцияни дизъюнкция билан , дизъюнкцияни эса конъюнкция билан алмаштириш натижасида щосил қилинган бûлса, у щолда  * ва  формулалар ûзаро қûшма формулалар дейилади. Теорема . Агар  ва  формулалар тенг кучли формулалар бûлса , у щолда  * ва  * формулалар щам тенг кучли формулалар бûлади.  1 ,  2 , . . . ,  n ( n  1 ) МА нинг формулалари бûлсин, у щолда (. . .( (  1   2 )   3 ). . .  n ) –формула  1 ,  2 , . . . ,  n – формулаларнинг конъюнкцияси дейилади ва  1  . . .   n орқали белгиланади. (. . .( (  1   2 )   3 ) . . .  n ) – формула эса  1 ,  2 , . . . ,  n - формулаларнинг дизъюнкцияси дейилади ва (  1 , . . . ,  n )- орқали белгиланади. Таъриф. Пропозиционал ûзгарувчилар ёки уларнинг инкорларидан тузилган иùтиёрий конъюнкция ( дизъюнкция) элементар конъюнкция (дизъюнкция ) дейилади. Таъриф. Элементар конъюнкцияларнинг иùтиёрий дизъюнкцияси - дизъюнктив нормал форма (днф), элементар дизъюнкцияларнинг иùтиёрий конъюнкцияси- конъюнктив нормал форма (кнф) дейилади. Мисол . Х 1 ,Х 2 ,Х 3 – пропозиционал ûзгарувчилар берилган бûлсин, у ùолда ( Х 1  Х 2 )  Х 3 – днфга , ( Х 1  Х 2 )  (Х 1  Х 3 ) – кнфга мисол бûлади. Таъриф .  формула Х 1 ,Х 2 ,. . . ,Х n – пропозиционал ûзгаручилардан тузилган элементар конъюнкция бûлсин. Агар ùар бир пропозиционал ûзгарувчи, инкори ùам ùисобланганда,  да бир мартадан ортиқ қатнашмаса  - тû\ри , камида бир марта қатнашса ,  - тûлиқ, фақат бир марта қатнашса,  - мукаммал элементар конъюнкция дейилади. Тû\ри ва тûлиқ элементар конъюнкция мукаммал элементар конъюнкция бûлиши равшан. Мисол . Х 1, Х 2 ,Х 3 –пропозиционал ûзгарувчилар берилган бûлсин. У ùолда  Х 1  Х 2 –тû\ри, Х 1  Х 2  Х 3   Х 1  Х 2 - тûлиқ, Х 1  Х 2  Х 3 – мукаммал элементар конъюнкциялардир. Таъриф .  - формула Х 1 , . . . ,Х n – ûзгарувчилардан тузилган элементар дизъюнкция бûлсин. Агар ùар бир пропозиционал ûзгарувчи,инкори ùам ùисобланганда,  -формулада бир мартадан ортиқ қатнашмаса, тû\ри, камида бир марта қатнашса, тûлиқ, фақат бир марта қатнашса, мукаммал элементар дизъюнкция дейилади. Таъриф . Турли мукаммал элементар конъюнкция (дизъюнкция)лардан тузилган дизъюнкция ( конъюнкция ) мукаммал дизъюнктив (конъюнктив ) нормал форма МДНФ (МКНФ )дейилади. Мисол . Х 1 , Х 2 ,Х 3 –пропозиционал ûзгарувчилар берилган бûлсин. У ùолда ( Х 1  Х 2  Х 3 )  ( Х 1  Х 2  Х 3 )  (  Х 1  Х 2  Х 3 )-М.Н.Д.Ф. ; ( Х 1  Х 2  Х 3 )  ( Х 1  Х 2  Х 3 ) – М.К.Н.Ф. бûлади. Таъриф . Манинг  формуласига тенг кучли Д.Н.Ф. ( К.Н.Ф., М.Д.Н.Ф., М.К.Н.Ф. )  - формуланинг Д.Н.Ф ( К.Н.Ф., М.Д.Н.Ф.,М.К.Н.Ф.)си дейилади. Теорема . МА нинг иùтиёрий формасини Д.Н.Фси ( К.Н.Фси) мавжуд. Теорема . МА нинг иùтиёрий  - формуласининг М.Д.Н.Ф ( М.К.Н.Ф )и мавжуд. Мисол . Х 1  ( Х 2  Х 3 ) формуланинг М.Д.Н.Фини топинг. Аввал Х 1  ( Х 2  Х 3 ) нинг Д.Н.Ф ини топайлик. 20-тенг кучлиликка асосан : Х 1  ( Х 2  Х 3 )  ( Х 1  Х 2 )  ( Х 1  Х 3 ) . Х 1  Х 2 ва Х 1  Х 3 –ларнинг М.Д.Н.Ф ларини юқорида келтирилган асосий тенг кучлиликлар ёрдамида топамиз. Х 1  Х 2  Х 1  Х 2  1  Х 1  Х 2  ( Х 3   Х 3 )  ( Х 1  Х 2  Х 3 )  ( Х 1  Х 2   Х 3 ) . Х 1  Х 3  Х 1  1  Х 3  Х 1  ( Х 2   Х 2 )  Х 3  ( Х 1  Х 2  Х 3 )  ( Х 1   Х 2  Х 3 ) . Бундан ,( Х 1  Х 2 )  ( Х 1  Х 3 )  ( Х 1  Х 2  Х 3 )  ( Х 1  Х 2  Х 3 )  ( Х 1  Х 2  Х 3 )  ( Х 1   Х 2  Х 3 )  ( Х 1  Х 2  Х 3 )  ( Х 1   Х 2  Х 3 )  ( Х 1  Х 2   Х 3 ) – М.Д.Н.Ф. Адабиётлар : 1. Ёқубов Т.,Каллибеков С. Математик мантиқ элементлари.Т.,1996. 2. Новиков П.С. Элементы математической логики.М.1973. 3. Чёрч А. Введение в математическую логику.М.,1960. 4. Мальцев А.И. Алгоритмы и рекурсивные функции.М.,1965. 5. ЛавровИ.А., Максимова Л.Л. Задачи по теории множеств,математической логике и теории алгоритмов.М.,1975.

Похожие

Ислом ҳуқуқи - мусулмонларнинг ҳаёт қонуни
Таълим тўғрисида миллий дастурнинг мақсади, вазифаси Узбекистон Республикасининг қонуни таълим тўғрисида
Ходимга етказилган зарарни коплашга доир конунларни куллашнинг узига хос хусусиятлар
Жиноят таркибининг объектив белгиларига кўра қилмишни квалификация қилиш
Жиноят ҳуқуқи тизими вазифалари предмети ва тушунчаси