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

DOC 46,5 KB Bepul yuklash

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

1404186970_51702.doc иккилик қонуни. нормал формалар режа: 1.иккилик қонуни. 2.нормал формалар. 3.мукаммал нормал формалар. таъриф. ма нинг ( формуласида фақат ( , (, ( мантиқ амаллари қатнашиб, ( фақат пропозиционал ûзгарувчиларга тегишли бûлса, у щолда ( келтирилоган формула ( форма ) дейилади. лемма . агар ма нинг ( формуласи келтирилган формула бûлса, ма нинг ( ( формулага тенг кучли келтирилган формуласи мавжуд. теорема. ма нинг ищтиёрий ( формуласига тенг кучли келтирилган формула мавжуд. исбот. формула ранги бûйича математик индукция методи билан исбот қилинади. агар формуланинг ранги 0 га тенг бûлса, у пропозиционал ûзгарувчи бûлибб исбот равшан. ищтиёрий натурал k ( 1 учун ранги k дан кичик формулага тенг кучли келтирилган формула мавжуд бûлсин. у щолда, формула таърифига кûра ( формула ( (, ( ( (, ( ((, ( ( ( , ( ( ( формулалардан бири кûринишида бûлади. ( ( (, ( ( ( - келтирилган формулалар, ( ( учун эса …

$анади. (. . .( ( (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 ( х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 ( …

иккилик қонуни. нормал формалар - Page 4

иккилик қонуни. нормал формалар - Page 5

Ko'proq o'qimoqchimisiz?

Faylni Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"иккилик қонуни. нормал формалар" haqida

1404186970_51702.doc иккилик қонуни. нормал формалар режа: 1.иккилик қонуни. 2.нормал формалар. 3.мукаммал нормал формалар. таъриф. ма нинг ( формуласида фақат ( , (, ( мантиқ амаллари қатнашиб, ( фақат пропозиционал ûзгарувчиларга тегишли бûлса, у щолда ( келтирилоган формула ( форма ) дейилади. лемма . агар ма нинг ( формуласи келтирилган формула бûлса, ма нинг ( ( формулага тенг кучли келтирилган формуласи мавжуд. теорема. ма нинг ищтиёрий ( формуласига тенг кучли келтирилган формула мавжуд. исбот. формула ранги бûйича математик индукция методи билан исбот қилинади. агар формуланинг ранги 0 га тенг бûлса, у пропозиционал ûзгарувчи бûлибб исбот равшан. ищтиёрий натурал k ( 1 учун ранги k дан кичик формулага тенг кучли келтирилган формула мавжуд бûлсин. у щолда, формула таърифига кûра ( ф...

DOC format, 46,5 KB. "иккилик қонуни. нормал формалар"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: иккилик қонуни. нормал формалар DOC Bepul yuklash Telegram