Чӣ тавр содда изҳори мантиқӣ: вазифа, қонунҳо ва намунаҳои

Имрӯз мо ҳам мефаҳмем, ки ба соддагардонии изҳори мантиқӣ, мо шиносоӣ бо қонунҳои асосӣ ва тафтиш мизи ҳақ вазифаҳои мантиқ.

Барои оғоз бо, чаро ин мавзӯъ. Оё шумо ягон бор пайхас гап? Илтимос дар хотир гиред, ки ба суханон ва рафтори мо ҳамеша итоат ба қонунҳои мантиқ. Бо мақсади донистани натиҷаи ягон ҳодиса ва на ба дом карда, қонунҳои оддӣ ва равшан мантиқ омӯхта метавонем. Онҳо ба шумо кӯмак мекунад, на танҳо як баҳои хуб дар илм компютерӣ ба даст ва ё ба даст овардани тестӣ бештар дар имтиҳони ягонаи давлати, балки дар ҳолатҳои воқеӣ ҳаёти амал мекунанд тасодуфӣ нест.

амалиёт

Барои гирифтани маълумот оид ба соддагардонии изҳори мантиқ, ба шумо лозим аст, ки бидонед:

• Чӣ Хусусиятҳои мекунад, ки мақодири мантиқиро, алгебра;
• Паст ва қонун табдили ибораҳое;
• тартиби амалиёт нишон медињад.

Акнун мо дар ин масъалаҳо дар муфассал бузург назар. Биё бо амалиёт оғоз. Онҳо хеле осон ба ёд доранд.

1. Аввалин чизе, ки мо қайд зарб мантиқӣ, дар адабиёти он номида амалиёти якҷоягӣ. Агар ҳолати дар шакли баён навишта шудааст, ки амалиёти мазкур аз ҷониби моҳҳоеро таъиншуда, аломати зарб, ё «&».
2. Дар оянда вазифаҳои аз њама бештар истифода бурда мешавад - илова мантиқӣ ё disjunction. моҳҳоеро тамға ӯ ва ё аломати плюс.
3. Хусусияти хеле муҳим negation ё inversion аст. Дар хотир доред, ки чӣ тавр дар забони русӣ шумо пешванд дурдаст. Графикї, ки inversion аз ҷониби префикс пеш аз баён, ё хати уфуқӣ болои он нишон дода мешавад.
4. Дар натиҷаи мантиқӣ (ё implication) тавассути як тир аз арзиши тафтишот идома дорад. Агар мо амалиёти дида, аз нуқтаи назари забони русӣ, он мувофиқ ба намуди сохтори ҳукми: «агар ... он гоҳ ...".
5. Оянда ба баробарарзишии, ки аз ҷониби ду роҳи тирчаи denoted аст. Дар Русия, ки фаъолияти чунин аст: «агар».
6. Дауъл яраи ду изҳори лавҳаи амудӣ ҷудо мекунад.
7. Пирс Ақрабаки, монанд Дауъл яраи, саҳмияҳои баён тирчаи амудӣ ишора ба поён.

Албатта ба қайд кард, ки амалиёт бояд дар навбат сахт анҷом дода мешавад: negation, зарб, Илова бар ин, дар натиҷа ин, баробарарзишии. Барои амалиёти «яраи Дауъл» ва «мантиқӣ ва на" аст, волоияти афзалиятнок дорад. Аз ин рӯ, онҳо бояд дар њамон тартибе, ки онҳо дар як ифодаи мураккаб истодаанд анҷом дода мешавад.

мизи ҳақиқат

Содда баён мантиқиро ва сохтмони мизи ростӣ барои қарори минбаъдаи он бе ҳеҷ донише аз мизҳои амалиёти асосии имконнопазир аст. Акнун мо пешниҳод барои мулоқот бо онҳо. Дар хотир доред, ки арзишҳои метавонед арзиши воқеӣ ё чи бардурӯғ мегирад.

Барои якҷоягӣ мизи чунин аст:

Љадвали амалиёти disjunction барои:

negation:

натиљаи:

баробарарзишии:

Barcode Schiffer:

Пирс Ақрабаки:

соддагардонии қонунҳо

Оид ба масъалаи, ки чӣ тавр ба соддагардонии ибораҳое мантиқи дар илм компютерӣ, ба мо кӯмак мекунад ёфтани ҷавоб қонунҳои оддӣ ва равшан мантиқ.

Биё бо соддатарин қонуни зиддияти оғоз. Агар мо мафҳумҳои муқобил (A ва МКМ) афзояд, он гоҳ мо ба даст дурӯғ. Дар сурати ғайр мафҳумҳои муқобил, мо ҳақиқат даст, қонун номида «шариати миёна хориҷ карда мешавад." Аксар вақт дар алгебра мантиқиро ҳастанд изҳори бо negation ду (МКМ надорад) вуҷуд дорад, он гоҳ мо ба даст ҷавоб A. низ ду қонуни де Morgan вуҷуд доранд:

• Агар мо ба negation аз Илова мантиқӣ, мо зарб ду изҳори бо inversion (на (A + B) = * МКМ Neuve) ба даст;
• санадҳои монанд, ва шариат дуюм, ки мо рад зарб хӯрда, мо даст ба илова ду арзишҳои бо inversion.

такрор хеле зуд, арзиши ҳамин (A ё B) ташкил ва ё якҷоя фаровон. Дар ин ҳолат, қонуни такрор (= A * A + B ё A = B). Қонунцое ва дарёфтҳо вуҷуд дорад:

• A + (A * B) = A;
• A * (A + B) = A;
• A * (HEA + B) = A * Б.

ду қонуни bonding вуҷуд дорад:

• (A * B) + (A * B) = A;
• (A + B) * (A + B) = A.

Содда ифодаҳои мантиқии осон аст, агар шумо медонед, қонунҳои алгебра мақодири мантиқиро. Ҳар чизе номбаршуда дар ин бахш мақолаҳои қонун метавонад эмпирикӣ санҷида. Бо ин мақсад мо мувофиқи қонунҳои математика кушодани ќавс.

НАМУНАИ 1

Мо ҳамаи хусусиятҳои содда изҳори мантиқӣ таҳсил кардаанд, он аст, ки ҳоло зарур таҳкими дониши нав ба амал. Мо пешниҳод дорем, шумо аз ҳам се мисол аз барномаи мактаб ва чиптаҳои аз имтиҳон ягонаи давлати.

Дар мисоли аввал, мо бояд ба соддагардонии ифодаи: (P * E) + (C * он). Якум, мо диққати худро ба он аст, ки ҳам дар ќавс аввал ва дуюм доранд, тағйирёбандаҳои ҳамин бо пешниҳодҳои онро берун аз ќавс бозгарданд. $ C * (E + он): Пас аз мо барои ба даст бо таҳрир баён анҷом дода мешавад. Пештар мо дар қонуни миёна хориҷ карда нигоҳ карда, ба он мурољиат нисбат ба баён. Пас аз он, мо гуфта метавонем, ки ба E + = 1 он аст, бинобар ин ифодаи мо мегирад шакли: C * 1. Ибораи натиҷа, мо ҳам метавонем бо донистани он ки C 1 = C * осон карда шавад.

НАМУНАИ 2

вазифаи навбатии мо ин аст: ҳар чӣ боқӣ мондааст, ки ифодаи мақодири мантиқиро содда нест, (C + он) на + (C + E) + C * E?

Илтимос дар хотир доред, дар ин мисол ба negation ибораҳоро мураккаб аст, ин бояд даст халос, ҳидоят тибқи қонунгузории De Morgan. Ба кор бурдани онҳо, ки мо баён зерин дастрас намоед: * E + ІН ІН * онро + C * E. Бори дигар мо шоҳиди ба такрори як тағйирёбанда дар ду муддатро, ки онро берун аз ќавс: HEC * (E + ў) + C * E. Боз ҳам, татбиқ Санади Хориљ аз: HEC * 1 + C * E. Ёдрас мекунем, ки ибораи «ІН * 1» баробар ІН: ІН + C * E. Мо ҳамчунин пешниҳод истифода қонуни distributive: (HEC + C) * (HEC + $ E). Мо муроҷиат қонуни миёна хориҷ карда: HEC + E.

НАМУНАИ 3

Шумо дидед, ки дар асл хеле осон содда баён мақодири мантиқиро. Мисол №3 мешавад муфассал камтар рангубор, кӯшиш кунед, ки онро худ мекунед.

Содда баён: (D + E) * (D + F).

1. $ D * D + D * F + E * D + E F *;
2. $ D + D * F + E * D + E F *;
3. $ D * (1 + F) + E * D + E F *;
4. $ D + E * D + E F *;
5. * D (1 + E) + E F *;
6. $ D + E * Ф.

Тавре ки шумо мебинед, ки агар шумо медонед, қонунҳои содда изҳори мураккаб мантиқӣ бошад, пас ин кор ҳаргиз напурсед хоҳад кард.