Mantiqiy dasturlash xususiyatlari

Haqiqat va mantiqiy ajratish
Haqiqat va mantiqiy ajratish Mantiqiy dasturlarni ikkita muhim tushunchalar orqali hal qilish mumkin: haqiqat va mantiqiy deduksiya. Haqiqat dasturdagi hisob-kitoblarning to'g'riligiga yoki yo'qligiga, dastur belgilarining bajarilishi ostida chiqadi. Mantiqiy deduktsiya mantiqiy band dasturning natijasi ekanligini aniqlaydi.Ushbu ko'rsatmalar har doim mantiqiy jumlalar va jumlalar sifatida talqin qilinadi, ularning bajarilishi natijasi tarkibidagi hisob-kitoblarning mantiqiy natijasidir.
Biz mantiqiy ifodalar soddalashtirish birgalikda o'rganadi Bugun biz asosiy qonunlari bilan tanishishga va mantiq funktsiyalari haqiqat jadvali o'rganib.

, Nima uchun bu mavzu bilan boshlash uchun. Agar hech gapirish qanday payqadingizmi? Bizning nutq va harakatlar har doim mantiq qonunlari asosida ekanligini unutmang. har qanday voqea natijasida bilish va tuzoqqa kerak emas maqsadida, mantiq oddiy va aniq qonunlar o'rganish. Ular siz nafaqat kompyuter ilm-fan, yaxshi baho olish yoki yagona davlat ekspertizasi ko'proq to'p olish uchun, lekin real hayotiy vaziyatlarda harakat qilishga tasodifiy emas yordam beradi.

OPERATSIYALAR mantiq ifodalarini soddalashtirish uchun qanday o'rganish uchun, siz bilishingiz kerak:

• 
  Nima xususiyatlari Boolean algebra qiladi;
  
• 
  Kamaytirish va aylantirish qonun ifodalar;
  
• 
  operatsiyalari tartibi.
  

Endi biz buyuk bu masalalarga batafsil qarash. operatsiyalari bilan yarataylik. Ular eslash juda oson.

1. 
   Biz mantiqiy ayirish qayd birinchi narsa, adabiyotlarda u qo'shilish jarayoni deb ataladi. Ahvoli ifoda shaklida yozilgan bo'lsa, operatsiya teskari tasdiq belgisi, ko'paytirish belgisi, yoki "&" bilan ko'rsatilgan.
   
2. 
   Keyingi Eng tez-tez ishlatiladigan vazifalari - mantiqiy qo'shish yoki ajratish. Uning belgisi Shomil yoki ortiqcha belgisi.
   
3. 
   Juda ham muhim xususiyati tonish yoki inversiya emas. Qanday rus tilida Agar izolyatsiya qilingan prefiks bilan eslayman. Grafik, inversiya ifoda oldin prefiks, yoki undan yuqorida gorizontal chiziq bilan ko'rsatiladi.
   
4. 
   tergov qiymat bir o'q bilan ko'rsatilgan mantiqiy xulosa (yoki ma'no). Biz rus tilini nuqtai nazaridan ishlashini ko'rib bo'lsa, bu jumla tuzilishi turiga mos keladi: "Agar ... keyin ...".
   
5. 
   Keyingi ikki-tomonlama o'q bilan belgilanadi ekvivalentligi, deb. quyidagicha rus, amaliyot: "faqat".
   
6. 
   Sheffer falaj vertikal bar ikki ifodalarini ajratib turadi.
   
7. 
   Pirs, o'q, Shunga o'xshab Sheffer falaj, aktsiyalar ifoda vertikal o'q pastga ishora tanish, ayirish, qo'shimcha, binobarin, ekvivalentligi: Albatta operatsiyalar qat'iy ketma-ketlikda amalga oshirilishi kerak, deb qayd qiladi. operatsiyalari "Sheffer urish" va "mantiqiy ham" uchun ustuvor hech qoida bor. Shuning uchun, ular bir murakkab ifoda turish tartibda amalga oshirilishi kerak.