Татаал логикалык билдирүү үчүн бир чындык дасторкон түзүү үчүн эмне кылыш керек?

Бүгүн биз логикалык билдирүү үчүн чындык дасторкон түзүү кантип түшүндүрүп берүүгө аракет кылабыз. Белгилей кетсек, логикалык алгебра бирдиктүү мамлекеттик экзамен үч милдеттердин жок дегенде, кездешет. Эгер сиз бул макаланы окуп, анда, албетте, сен компьютер илими боюнча экзамен алуу боюнча дагы упай алуу.

иш

Эгер чындык үстөл жаса мурун, биз логикалык алгебранын ишмердүүлүгү менен таанышуу сунуш.

Биз тескериси иш менен таанышууну башталат. Ал ошондой эле өзгөртүү деп аталат. Бир мисал келтирейин. "Мен киного барганды жатам бүгүн" деген сөздөр, ага тескери колдонуу, натыйжада, биз: "Бүгүн мен киного барбай жатам."

Эми көбөйтүү жана кошумча милдеттерди, логикалык Алгебранын жөнүндө сүйлөшөлү, алардын аты барбы - тиешелүүлүгүнө жараша менен бирдикте Disjunction. Биз, деп ойлойм ", сен сабак жана vynesesh таштанды үйрөнсөк, анда, киного баруу". Бул сүйлөмдө сөз менен "жана" бирге иш милдетерин жүзөгө ашырат, ошондой эле, "эгерде" - Disjunction.

логикалык натыйжасы - бул эки сөз айкаштары кезигет дагы бир татаал логикалык операция болуп саналат: а абалын жана ырааттуулук. Биз орус тилин чечмелей турган болсо, сунуш төмөнкүдөй айланасында курулган: "Мен адабият билүү үчүн убакыт бар болсо, анда киного баруу". ондук чейин сунушту бир бөлүгү - абалы жана үтүрдөн кийин - кесепети.

Азыр, бирдей же бирдей мааниси тууралуу кыскача. бул учурда орус тили менен окшошуп үчүн кыйынга турат. бирдей эки киргизүү сөздөр жалган же чын же бар болсо, анда натыйжасы оң экенин унутпашыбыз керек, анткени, бул бири-бирине барабар.

алгоритми

Азыр биз компьютер илими боюнча чындык дасторкон түзүү, же тескерисинче, биздин иш-алгоритмин талкууланат кантип тууралуу сөз болот.

үстөлдү чийме, бул клеткалар, катар-катар менен мамычаларынын санын аныктоо үчүн биринчи зарыл. Биз кадам баары кадам жасайт.

• Биз катар санын аныктайт. Бул үчүн, сөз кирген өзгөрмөлөр санын эсептейт, жана бул сан эки тургузулат. Мисалы, бир чындык үстөл, тагыраак айтканда, үч өзгөрүлмөлөрдүн билдирүү үчүн линияларын санын аныктоо үчүн жараткан? Эки үчүнчү даражадагы курууга жана сегиз керек. Эске албаганда, шляпа, биз сегиз катар керек.
• мамычаларынын санын аныктоо үчүн, биз сөз менен эсептеп жана саны аракеттер керек. Мисалы, шарттар HEA * C + B үч иш боюнча. биринчи - тескериси, экинчиси - үчүнчү көбөйтүү - Мындан тышкары. иш баалуулуктарын толтуруу Ошентип, биз үч тилке керек. Бирок биздин сөз үч өзгөрмөлөр турат экенин эске алышы керек, жана дагы үч спикерлерди кошуп, алардын мүмкүн болуучу толтуруу керек. Бардыгы болуп 6 айланат.
• Кийинки, өзгөрмөлөр жана толтуруу үстөлдүн мүмкүн айкаштарын тизмеси бар. иштеринин артыкчылыгын эске алуу керек.

Биринчи мисал (үч өзгөрмө)

Биз төмөнкү маселени чечүү сунуш: абалын канча айкалышы канааттандыруу F = 1 деген сөз айкашы (HEA + B) + A * тормаган эсептөө. Эми, маселени чечүү бир чындык үстөл жаса кандай. иш-аракеттердин алгоритмин түзүү жардам КӨСӨМДӨРДҮН.

1. катар саны 9 (- капкак стол өзгөрмөлөр + бир линия сегиз аралашма) =.
2. милдети артыкчылыктуу: 1- өзгөртүү 2 - кашаанын ичинде Кошулган 3 - С өзгөртүү 4 - көбөйтүү, 5 - кошумча.
3. Мамычаларынын саны = 8.
4. столдор жана толтурулушун иштеп чыгуу.

1. деген суроого жооп табуу.
2. Record жооп. Жооп: 6. жумуш эмес абалда канча айкалышы канааттандырат сурап жатат, бирок анын Тизмеге сураба.

Экинчиси (өзгөрүлмө 4)

Биз сиз карап чыгууну сунуш кылабыз: бисмиллах үчүн чындык дасторкон кантип түзүү: A * B * тормаган + D? Кандай кошулмалардын саны туура келет: F = 0.

Биз бир алгоритм боюнча иш-аракет. Бул учурда линияларын саны 17 чейин көбөйгөн, ал эми бардык мамычаларды бөлүп - 8. артыкчылыктуу иш үчүн:

1. A * B;
2. тормаган;
3. биринчи жана экинчи иш жыйынтыгын көбөйтүү;
4. Кошулган үчүнчү операция натыйжасы жана өзгөрмө балл D.

Биз Сен жасап, аларды үстөлдүн толтуруп, андан кийин берененин Бул бөлүмдө жыйынтыгы менен изилдөөгө аракет сунуштайбыз.

натыйжасында дасторконунан жыйынтык чыгарсак: Бул шарт өзгөрүүлөрдүн 7 ар кандай айкалыштарда аркылуу канагаттандырылат.