Як алгоритми барои сохтмони мизҳои ростии изҳори мантиқӣ

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

алгебра мақодири мантиқиро

алгебра мантиқи дар асоси ифодаи мантиқӣ оддӣ, ки амалиёти алоқаманди мебошанд, ташкили ифодаи мураккаб. Дар хотир доред, ки дар алгебра мақодири мантиқиро, иборат аз ду амалиёти дуӣ: Илова бар ин ва зарб (ва disjunction аз якҷоягӣ мутаносибан); як unary - inversion. Ҳамаи ифодаи содда (элементҳои ифодаи мантиқӣ мураккаб) ба яке аз он ду ба арзишҳои: «1» ё «0», «ҳақиқӣ» ё «нодуруст», «+» ва «-» мутаносибан.

алгебра мантиқ аст, дар чанд axioms нисбатан содда асос меёбад:

• associativity;
• commutative аст;
• азхудкунии;
• distributivity;
• additionality.

Агар шумо медонед, ки ин қонунҳо ва пайдарпаии вазифаҳои, эҷоди як мизи ҳақ будани ифодаи мантиқӣ ягон мушкилоти сабабгор нест. Ёдовар мешавем, ки амалиёти бояд дар навбат сахт анҷом дода мешавад: negation, зарб, Илова бар ин, оқибати, баробарарзишии, танҳо баъд идома боздоштани Schiffer ё мантиқӣ ва на амалиёт. Бо роҳи, ки барои ин ду функсияи охирин нест қоидаҳои афзалиятнок, барои татбиќи онњо дар њамон тартибе, ки дар он воқеъ мебошанд.

Қоидаҳои тартиб додани ҷадвал

Сохтмони мизи ҳақ будани ифодаи мантиқӣ ҳалли бисёр кӯмак мушкилоти мантиқӣ ва пайдо кардани роҳҳои ҳалли мисолҳои мураккаб калонҳаҷм. Қобили зикр аст, ки баъзе аз қоидаҳои тартиб худ нест.

Бо мақсади дуруст ба мизи мантиқӣ кунад, барои оғози барои муайян кардани шумораи сатрҳои он зарур аст. Чӣ тавр ба он ҷо? Ҳисоб намудани миқдори тағйирёбандаи, ки ифодаи мураккаб медиҳанд, ва истифода аз формулаи оддӣ: A = 2 қудрат н. Ва - ин шумораи сатрҳои дар ҷадвал тартиб аз тарафи рост аст, н - шумораи тағйирёбандаҳои, ки як қисми ифодаи мантиқӣ мураккаб аст.

Намуна: мураккаб баён дорои се тағйирёбандаҳои (А, В ва С), он гоҳ як тамға бад бояд дар дараҷаи сеюм сохта шаванд. $ B мизи ҳақиқат мо ҳашт хатҳои дошта бошад. Иловаи як хати барои унвони сутуни.

Сипас, мо ба баёни худ рӯй ва муайян намудани тартиби амали анҷом дода мешавад. ва тартибот беҳтар барои худ тамға калам (як, ду, ва ғайра).

Қадами навбатии мо ба ҳисоб шумораи амалиётҳои. Шумораи натиҷа - шумораи сутун дар мизи мо. Бинобар ин, ба илова, ҳатто як миқдори сутунҳо ҳамчун тағйирёбандаҳои ки дар шартҳои худ, ба пур кардани таркиби имконпазири тағйирёбандаҳои.

Сипас, ба шумо лозим аст ки ба пур кардани ҳадди ақалли мизи мо. Дар зер шумо намунаи ин дид.

Акнун ба пур кардани таркиби имконпазир гиранд. Барои ду тағйирёбандаҳои, онҳо чунинанд: 00, 01, 10, 11. Барои се тағйирёбандаҳои: 000, 001, 010, 011, 100, 101, 110, 111.

Баъди ҳамаи адад дар боло зикршуда метавонад ба ҳисоб намудани ҳуҷайраҳои боқимонда ва пур кардани ҷадвал дар натиҷаи гиранд.

мисол

Мо ҳоло дида мебароем намунаи сохтмони як миз аз ифодаи мантиқии ҳақиқӣ аст: inversion аз A + B * A.

1. Ҳисоб кунед тағйирёбандаҳои: 2. Шумораи хатҳои: 4 + 1 = 5.
2. Дар иҷрои тартиби амалҳои: якум inversion, якҷоягӣ дуюм, сеюм disjunction.
3. Шумораи Сутунњои: 3 + 2 = 5.
4. Гирифтани як tracing ва пур сари суфра аст.

Чун қоида, ба кор садо монанди ин: «Чӣ бисёр таркиби қонеъ F = 0" ва ё "дар он чӣ таркиби F = 1". Дар бораи саволи аввал ҷавоб - 1, дуюм - 00, 01, 11.

Бодиққат кор, ки ба шумо дода хонед. Шумо дуруст метавонед ҳалли мушкилот, балки ба хато дар навиштани ҷавоб. Бори дигар ман диққати шуморо ҷалб ба тартиби амал:

• рад;
• зарб;
• Илова бар ин.

вазифа

Сохтмони як мизи ҳақиқат кӯмак карда метавонад, ки ба пайдо кардани ҷавоб ба проблемаи душвор мантиқӣ. Пайравӣ раванди омодагӣ баён ва мизи ростӣ барои ҳолати аз вазифаҳои мантиқӣ шумо метавонед дар ин бахш аз мақола.

Бо дарназардошти чор арзишҳои A: 1), 7; 2) 6, 3), 5, 4) 4. Барои баъзе аз онҳо, ки изҳороти "inversion (хурдтар A 6) + (камтар аз 5 A)« дурӯғ аст?

аввал сутуни мо хоҳад шуд, бо арзишҳои 7, 6, 5, 4 лозим дар ин пайдарпаии пур карда мешавад. Дар сутуни навбатӣ, мо бояд ба савол ҷавоб: «Ва камтар аз 6" Дар сутуни сеюм пур дар ҳамин, танҳо акнун, ки ҷавоб ба саволи: «Ва камтар аз 5"

Мо навбат амалиёти муайян мекунад. Дар хотир доред, ки рад кардани мегирад болотар disjunction. Пас, сутуни навбатии мо дар арзишҳое, ки ба ҳолати мувофиқ пур нест, (A камтар аз 6). Дар чорум масъалаи асосии мушкилоти мо ҷавоб хоҳад дод. Дар зер шумо намунаи пур кардани ҷадвал нигаред.

Илтимос дар хотир гиред, ки мо шумораи ҷавобҳои, ифодаи бардурӯғ аст, ки арзиши A = 5, ин нусхаи сеюми ҷавоб аст.