Slayd 9

Slayd 10

Misol: Shaxmat

4 ta do'st bor: Anton, Viktor, Semyon va Dmitriy. Ularning shaxmat o'ynash qobiliyatiga kelsak, quyidagi gaplar to'g'ri: Semyon shaxmat o'ynaydi, agar Viktor shaxmat o'ynamasa, Semyon va Dmitriy o'ynaydi, Anton yoki Viktor o'ynasa, Semyon o'ynamaydi. Keling, bu gaplarni algebraik shaklga aylantiramiz. To'rtta oddiy gapni ifodalash uchun mantiqiy o'zgaruvchilar kiritamiz: A = “Anton shaxmat o'ynaydi” B = “Viktor shaxmat o'ynaydi” C = “Semyon shaxmat o'ynaydi” D = “Dmitriy shaxmat o'ynaydi”

Sinf: 9

Dars uchun taqdimot

Orqaga oldinga

Diqqat! Slaydni oldindan ko'rish faqat ma'lumot uchun mo'ljallangan va taqdimotning barcha xususiyatlarini aks ettirmasligi mumkin. Agar siz ushbu ish bilan qiziqsangiz, to'liq versiyasini yuklab oling.

Uy vazifasi MyTest test qobig'ida ishlab chiqilgan mualliflik testi yordamida sinfda tekshiriladi ( 1-ilova), bu erda test avtomatik ravishda tekshiriladi (test natijalari darhol o'qituvchining kompyuteriga yuboriladi).

Yangi mavzuni o`rganishda sodda va murakkab gaplarga ta`rif beriladi, mantiqiy amallar ham ko`rib chiqiladi.Yangi materialni tushuntirish interfaol taqdimot yordamida amalga oshiriladi. Ko'nikma va ko'nikmalarni mustahkamlash uchun talabalarga to'ldirish uchun kartalar taklif etiladi ( 2-ilova).

Dars oxirida talabalarga jarayon va ish natijalaridan qoniqish darajasini baholash so'raladi va ularga uy vazifasini bajarish uchun kartalar beriladi ( 3-ilova).

Darslik professor N.V tomonidan tahrirlangan. Makarova "Informatika va AKT".

Maqsad:

• “Mantiqiy ifodalar va mantiqiy amallar” mavzusidagi nazariy materialni o‘rganish.
• Mantiqiy fikrlashni, muloqot qilish, taqqoslash va olingan ko'nikmalarni amalda qo'llash qobiliyatini rivojlantirish.
• Talabalarning kognitiv faolligini va tahlil qilish qobiliyatini rivojlantirish.

Dars turi: qo'shma dars.

Ish shakllari: frontal.

Ko'rinish va jihozlar:

• kompyuter;
• multimedia proyektori;
• MS PowerPoint dasturida tayyorlangan taqdimot;
• "Mantiq algebrasining asosiy tushunchalari" mavzusi bo'yicha test ;
• qoplangan materialni birlashtirish uchun kartalar;
• uy vazifasi kartasi.

Dars rejasi:

1. Tashkiliy vaqt (1 daqiqa)
2. O'rganilgan materialni tekshirish (10 min.)
3. Yangi materialni o'rganish (20 daqiqa.)
4. O'rganilgan materialni mustahkamlash (og'zaki ish, 5 daqiqa.)
5. Darsni yakunlash (2 daqiqa.)
6. Uy vazifasi (2 daqiqa.)

Darslar davomida

1. Tashkiliy moment.

Maqsad: talabalarni darsga tayyorlash.

Dars mavzusi e'lon qilinadi. Talabalarga vazifa beriladi: mavzu bo'yicha masalalarni yechishni qanday o'rganganliklarini ko'rsatish.

2. O`rganilgan materialni takrorlash.

MyTest test qobig‘ida “Mantiqiy algebraning asosiy tushunchalari” mavzusida test ishini bajarish.(1.mtf-ilova)

3. Yangi materialni o'rganish.

O'rganish uchun savollar:

1. Oddiy va murakkab iboralar.
2. Asosiy mantiqiy operatsiyalar.

Yangi materialni tushuntirishda kompyuter taqdimotidan foydalaniladi (taqdimot.PPT)

• 1. Oddiy va murakkab iboralar.

Mantiqiy ifodalar oddiy va murakkab bo'lishi mumkin.

Oddiy mantiqiy ifoda bitta gapdan iborat bo'lib, mantiqiy amallarni o'z ichiga olmaydi. Oddiy mantiqiy ifodada faqat ikkita mumkin bo'lgan natijalar mavjud - to'g'ri yoki noto'g'ri.

Murakkab mantiqiy ifoda mantiqiy amallar bilan birlashtirilgan gaplarni o'z ichiga oladi. Algebradagi funktsiya tushunchasiga o'xshatib, murakkab mantiqiy ifoda argumentlarni o'z ichiga oladi, ular bayonotlardir.

• 2. Asosiy mantiqiy amallar.

Yangi materialni tushuntirar ekan, o‘quvchilar daftarlariga quyidagi jadvalni to‘ldiradilar.

Murakkab mantiqiy ifodalarda asosiy mantiqiy operatsiyalar sifatida quyidagilar qo'llaniladi:

• EMAS(mantiqiy inkor, inversiya);
• YOKI(mantiqiy qo‘shish, diszyunsiya);
• VA(mantiqiy ko‘paytirish, bog‘lanish)

NO operatsiyasi - mantiqiy inkor (inversiya)

Mantiqiy operatsiya oddiy yoki murakkab mantiqiy ifoda bo'lishi mumkin bo'lgan bitta argumentga qo'llanilmaydi. Operatsiyaning natijasi quyidagicha emas:

• agar asl ifoda rost bo'lsa, uni inkor qilish natijasi noto'g'ri bo'ladi;
• agar asl ifoda noto'g'ri bo'lsa, uni inkor qilish natijasi to'g'ri bo'ladi.

EMAS inkor amali uchun quyidagi konventsiyalar qabul qilinadi: EMAS, ‾, ˥ not A. Inkor amalining natijasi quyidagi haqiqat jadvali bilan aniqlanmaydi.

OR operatsiyasi - mantiqiy qo'shish (ajralish, birlashma)

Mantiqiy OR operatsiyasi oddiy yoki murakkab mantiqiy ifoda bo'lishi mumkin bo'lgan ikkita bayonotni birlashtirish funktsiyasini bajaradi. Mantiqiy operatsiya uchun boshlang'ich nuqta bo'lgan bayonotlar argumentlar deb ataladi.

OR operatsiyasining natijasi, agar asl iboralardan kamida bittasi to'g'ri bo'lsa, to'g'ri bo'ladigan ifodadir.

OR operatsiyasining natijasi quyidagi haqiqat jadvali bilan aniqlanadi:

Ishlatilgan belgilar: A yoki B; A v B; A og B. Murakkab mantiqiy o'zgarishlarni amalga oshirayotganda, aniqlik uchun biz A + B yozuvidan foydalanishga rozilik beramiz, bu erda A, B argumentlar (boshlang'ich bayonotlar).

AND operatsiyasi - mantiqiy ko'paytirish (bog'lanish)

AND mantiqiy operatsiyasi oddiy yoki murakkab mantiqiy ifoda bo'lishi mumkin bo'lgan ikkita bayonotning (argumentlarning) kesishishi funktsiyasini bajaradi.

AND operatsiyasining natijasi ikkala asl ibora ham to'g'ri bo'lgandagina to'g'ri bo'ladigan ifodadir.

AND operatsiyasining natijasi quyidagi haqiqat jadvali bilan aniqlanadi:

Ishlatilgan belgilar: A va B; A^B; A&B; A va B.

Murakkab mantiqiy o'zgarishlarni amalga oshirishda A-B belgilaridan foydalanishga rozi bo'laylik, bu erda A, B argumentlar (boshlang'ich bayonotlar).

"IF" operatsiyasi- TO» - mantiqiy natija (imo-ishora)

Bu operatsiya ikkita oddiy mantiqiy ifodani bog'laydi, ulardan birinchisi shart, ikkinchisi esa shu shartning natijasidir.

Ishlatilgan belgilar:

agar A, keyin B; A B ni o'z ichiga oladi; agar A u holda B; A-»B.

Imlikatsiya amali natijasi noto'g'ri bo'ladi, agar A asosi to'g'ri bo'lsa va B xulosa (natija) noto'g'ri bo'lsa.

Haqiqat jadvali:

"A, agar va faqat B" operatsiyasi (ekvivalentlik, ekvivalentlik)

Ishlatilgan belgi: A ~ IN.

Ekvivalentlik amalining natijasi faqat A va B bir vaqtning o'zida to'g'ri yoki noto'g'ri bo'lsa, to'g'ri bo'ladi.

Haqiqat jadvali:

4. O‘rganilayotgan materialni mustahkamlash

Ushbu material har bir talabaga tarqatiladi. (2-ilova)

5. Darsni yakunlash

Ayting-chi, bugungi dars siz uchun tarbiyaviy bo'ldimi?

Darsdan nimani ko'proq eslaysiz?

6. Uyga vazifa

1. Darslik. 23.2-bo'lim, "Mantiqiy operatsiyalar" jadvalini oxirigacha to'ldiring.
2. Vazifani bajaring(3-ilova)
3. Sinovga tayyorlaning.
4. Savollarga javoblarni bilib oling:
   • qanday bayonotlar mavjud;
   • qaysi gaplar sodda, qaysilari murakkab deyiladi;
   • asosiy mantiqiy amallar va ularning xossalari.

CONJUNCTION F = A & B. F = A & B. Mantiqiy ko'paytirish Mantiqiy ko'paytirish CONJUNCTION - bu yangi murakkab ifoda ikkala dastlabki oddiy ifodalar ham to'g'ri bo'lsagina to'g'ri bo'ladi. BOG'LANISH - Bu yangi murakkab ifoda ikkala asl oddiy ibora ham rost bo'lsagina to'g'ri bo'ladi. Bog‘lovchi ikkita mantiqiy ifodaning bog‘lanishini AND bog‘lovchisi yordamida aniqlaydi.. Bog‘lovchi AND bog‘lovchisi yordamida ikkita mantiqiy ifodaning bog‘lanishini belgilaydi.ABF

Misollar: 10 2 ga va 5 ga bo'linadi 3 dan katta 10 2 ga va 5 ga bo'linadi 3 dan katta 10 2 ga va 5 ga bo'linmaydi 3 dan katta 10 2 ga va 5 ga bo'linmaydi 3 dan katta 10 2 ga bo'linadi va 5 3 dan katta bo'lmagan 10 2 ga bo'linadi va 5 3 dan ko'p emas 10 2 ga bo'linmaydi va 5 3 dan ko'p emas 10 2 ga va 5 dan ko'p bo'lmaydi F=A&B F=A&B Topshiriq : Har bir ifoda uchun F qiymati qanday bo'lishini aniqlang. Vazifa: Har bir ifoda uchun F ning qiymati qanday bo'lishini aniqlang.

DISUNCTION F = A + B F = A + B Mantiqiy qo'shish – DISUNCTION - bu yangi murakkab ifoda, agar asl (oddiy) ifodalardan kamida bittasi to'g'ri bo'lsa, to'g'ri bo'ladi. Mantiqiy qo'shish - DISUNCTION - bu yangi murakkab ifoda, agar asl (oddiy) ifodalardan kamida bittasi to'g'ri bo'lsa, haqiqiy bo'ladi. Dizyunksiya ikkita mantiqiy ifodaning bog‘lanishini YOKI ABF birikmasidan foydalangan holda ikki mantiqiy ifodaning ulanishini belgilaydi.

Misollar: 10 2 ga yoki 5 ga bo'linadi 3 dan katta 10 2 ga yoki 5 ga bo'linadi 3 dan katta 10 2 ga yoki 5 ga bo'linmaydi 3 dan katta 10 2 yoki 5 ga bo'linmaydi 3 dan katta 10 2 ga bo'linadi yoki 5 3 dan katta bo'lmagan 10 2 ga bo'linadi yoki 5 ga bo'linadi 3 dan ko'p emas 10 2 ga yoki 5 ga bo'linmaydi 3 dan ko'p emas 10 2 ga yoki 5 ga bo'linmaydi 3 dan ko'p emas F=A V B Topshiriq: Nimani aniqlang F qiymati har bir ifoda uchun bo'ladi. Vazifa: Har bir ifoda uchun F ning qiymati qanday bo'lishini aniqlang.

INVERSION Mantiqiy inkor: INVERSION - agar dastlabki ifoda rost bo'lsa, inkor natijasi noto'g'ri bo'ladi va aksincha, agar dastlabki ifoda noto'g'ri bo'lsa, inkor natijasi to'g'ri bo'ladi/ Mantiqiy inkor: INVERSION - agar asl ifoda rost bo'lsa, inkor natijasi noto'g'ri bo'ladi va aksincha, agar asl ifoda noto'g'ri bo'lsa, inkor natijasi to'g'ri bo'ladi/ Bu amal NO zarrachasi yoki FALSE so'zi qo'shilganligini bildiradi. original mantiqiy ifoda, THAT Bu operatsiya EMAS zarracha yoki FALSE so'zi dastlabki mantiqiy ifodaga qo'shilganligini bildiradi, THAT A _ _ F = A 10 01

Mantiqiy implikatsiya (implikatsiya) Mantiqiy implikatsiya (implikatsiya) “agar... keyin...” bog‘lovchisi yordamida ikkita gapni bittaga birlashtirish orqali hosil bo‘ladi. Mantiqiy natija (Implication) “agar... keyin...” bog‘lovchisi yordamida ikkita gapni bittaga birlashtirish orqali hosil bo‘ladi. Ma’no asos va oqibat sifatida yoziladi; (maslahat har doim natijaga ishora qiladi). Ma’no asos va oqibat sifatida yoziladi; (maslahat har doim natijaga ishora qiladi). F = A B, amal yordamida tuzilgan qo‘shma gap: mantiqiy oqibat (implikatsiya) F = A B, amal yordamida tuzilgan qo‘shma gap: mantiqiy natija (implikatsiya) Tushuntirish orqali ifodalangan gap ham quyidagi shakllarda ifodalanadi: Taklif. ma’nosi bilan ifodalangan quyidagi yo‘llar bilan ham ifodalanadi: Hukm 1. Muallif oqibatni amalga oshirish uchun yetarli shart; 1. Gap oqibatning bajarilishi uchun yetarli shart;2-shart. 2. Oqibat - asosning haqiqati uchun zarur shart.

Ma’noning “kundalik” ma’nosi. Izohning ma'nosini osonroq tushunish va uning haqiqat jadvalini yodlash uchun kundalik model foydali bo'lishi mumkin: implikatsiyaning ma'nosini osonroq tushunish va uning haqiqat jadvalini eslab qolish uchun kundalik model foydali bo'lishi mumkin: Va xo'jayin. U "ish" (1) buyrug'ini berishi yoki "xohlaganingizni qiling" (0) deyishi mumkin. Va xo'jayin. U "ish" (1) buyrug'ini berishi yoki "xohlaganingizni qiling" (0) deyishi mumkin. Bo'ysunuvchida. U ishlashi mumkin (1) yoki bo'sh (0). Bo'ysunuvchida. U ishlashi mumkin (1) yoki bo'sh (0). Bunday holda, ma'no - bo'ysunuvchining boshliqqa bo'ysunishidan boshqa narsa emas. Bunday holda, ma'no - bo'ysunuvchining boshliqqa bo'ysunishidan boshqa narsa emas. Haqiqat jadvalidan foydalanib, xo'jayin ishlashni buyurganda va bo'ysunuvchi bo'sh bo'lgandagina itoat yo'qligini tekshirish oson. Haqiqat jadvalidan foydalanib, xo'jayin ishlashni buyurganda va bo'ysunuvchi bo'sh bo'lgandagina itoat yo'qligini tekshirish oson.

IPLIKAT Mantiqiy oqibat: IPLIKAT - ikkita oddiy mantiqiy ifodani bog'laydi, ulardan birinchisi (A) shart, ikkinchisi (B) bu shartning natijasidir. Mantiqiy ma'no: IPLIKAT - ikkita oddiy mantiqiy ifodani bog'laydi, ulardan birinchisi (A) shart, ikkinchisi (B) bu shartning natijasidir. IMPLICATION natijasi faqat A sharti to'g'ri va B natijasi noto'g'ri bo'lganda FALSE bo'ladi. IMPLICATION natijasi faqat A sharti to'g'ri va B natijasi noto'g'ri bo'lganda FALSE bo'ladi. A B “shuning uchun” belgisi bilan, A B esa “shuning uchun” belgisi bilan belgilanadi va AGAR..., THEN... so‘zlari bilan ifodalanadi AGAR..., THEN... ABF so‘zlari bilan ifodalanadi.

Misollar: Agar berilgan to'rtburchak kvadrat bo'lsa, u holda uning atrofida aylana chizish mumkin. Agar berilgan to'rtburchak kvadrat bo'lsa, unda aylana chizish mumkin. Agar berilgan to'rtburchak kvadrat bo'lmasa, uning atrofida aylana chizish mumkin. Agar berilgan to'rtburchak kvadrat bo'lsa, unda aylana chizib bo'lmaydi. Agar berilgan to'rtburchak kvadrat bo'lsa, aylana chizib bo'lmaydi. uning atrofida Agar berilgan to'rtburchak kvadrat bo'lmasa, u holda uning atrofida aylana chizib bo'lmaydi Agar berilgan to'rtburchak kvadrat bo'lmasa, unda aylana o'tkazib bo'lmaydi A B A B Topshiriq: F ning qiymatiga nima teng bo'lishini aniqlang. har bir ifoda. Vazifa: Har bir ifoda uchun F ning qiymati qanday bo'lishini aniqlang.

Mantiqiy amallarni bajarish tartibi 1. inversiya 1. inversiya 2. konyunksiya 2. konyunksiya 3. dis’yunksiya 3. dis’yunksiya 4. implikatsiya 4. implikatsiya Amallarning ko‘rsatilgan tartibini o‘zgartirish uchun qavslar qo‘llaniladi. Qavslar amallarning belgilangan tartibini o'zgartirish uchun ishlatiladi.

1-topshiriq misoli: F belgisi uchta argumentdan quyidagi mantiqiy ifodalardan birini bildiradi: X, Y, Z. F belgisi uchta argumentdan quyidagi mantiqiy ifodalardan birini bildiradi: X, Y, Z. Haqiqat parchasi. F ifodaning jadvali berilgan: F ifodaning haqiqat jadvalining berilgan qismi: XYZF) ¬X ¬Y ¬Z 2) X Y Z3) X Y Z 4) ¬X ¬Y ¬Z F ga qaysi ifoda mos keladi? Qaysi ifoda F ga mos keladi?

Yechim: har bir satr uchun berilgan X, Y va Z qiymatlarini javoblarda berilgan barcha funktsiyalarga almashtirishingiz va natijalarni ushbu ma'lumotlar uchun mos keladigan F qiymatlari bilan solishtirishingiz kerak; har bir qator uchun siz X, Y va Z ning berilgan qiymatlarini javoblarda berilgan barcha funktsiyalarga almashtirish va natijalarni ushbu ma'lumotlar uchun mos keladigan F qiymatlari bilan solishtirish kerak; agar X, Y va Z ning har qanday kombinatsiyasi uchun natija shunday bo'lsa mos keladigan F qiymatiga to'g'ri kelmasa, qolgan satrlarni ko'rib chiqish mumkin emas, chunki to'g'ri javob uchun barcha uchta natija F funktsiyasi qiymatlariga mos kelishi kerak, agar X, Y va Z ning har qanday kombinatsiyasi uchun natija mos kelmasa. F ning mos keladigan qiymati bo'lsa, qolgan satrlarni e'tiborsiz qoldirish mumkin, chunki to'g'ri javob berish uchun barcha uchta natija F funktsiyasining qiymatlariga mos kelishi kerak.

Birinchi ifoda faqat X=Y=Z=0 bo'lganda 1 ga teng, shuning uchun bu noto'g'ri javob (jadvalning birinchi qatori mos emas) birinchi ifoda faqat X=Y=Z=0 bo'lganda 1 ga teng. , shuning uchun bu noto'g'ri javob (jadvalning birinchi qatori mos emas) ikkinchi ifoda faqat X=Y=Z=1 bo'lganda 1 ga teng, shuning uchun bu noto'g'ri javobdir (jadvalning birinchi va ikkinchi qatorlari). jadval mos emas) ikkinchi ifoda faqat X=Y=Z=1 bo'lganda 1 ga teng, shuning uchun bu noto'g'ri javob (jadvalning birinchi va ikkinchi qatorlari mos emas) X bo'lganda uchinchi ifoda nolga teng =Y=Z=0, shuning uchun bu noto'g'ri javob (jadvalning ikkinchi qatori mos emas) X=Y=Z=0 bo'lganda uchinchi ifoda nolga teng, shuning uchun bu noto'g'ri javob (ikkinchi qator jadval mos emas) nihoyat, to'rtinchi ifoda faqat X=Y=Z=1 bo'lganda nolga teng, boshqa hollarda esa 1 ga teng, bu haqiqat jadvalining berilgan qismiga to'g'ri keladi, nihoyat, to'rtinchi ifoda nolga teng bo'ladi, agar X=Y=Z=1 bo'lsa, boshqa hollarda esa 1 ga teng bo'lib, bu haqiqat jadvalining berilgan qismiga to'g'ri keladi, shuning uchun to'g'ri javob 4 ga teng, shuning uchun to'g'ri javob 4 XYZF) ¬X ¬Y ¬Z 2) X Y Z 3 ) X Y Z 4) ¬X ¬Y ¬Z

2-topshiriq misoli: F belgisi uchta argumentdan quyidagi mantiqiy ifodalardan birini bildiradi: X, Y, Z. F belgisi uchta argumentdan quyidagi mantiqiy ifodalardan birini bildiradi: X, Y, Z. Haqiqat parchasi. F ifodaning jadvali berilgan: F ifodaning haqiqat jadvalining fragmenti berilgan: XYZF Qaysi ifoda F ga mos keladi? 1) ¬X ¬Y ¬Z 2) X Y Z3) X ¬Y ¬Z4) X ¬Y ¬Z

Yechish: F ustunida X=1, Y=Z=0 kombinatsiyasi uchun yagona birlik mavjud, eng oddiy funksiya, bu holat uchun rost (faqat) shaklga ega, u berilgan javoblar orasida (3-javob) F ustunida X=1, Y=Z=0 kombinatsiyalari uchun yagona birlik mavjud, eng oddiy funksiya, bu holat uchun rost (faqat) shaklga ega, u berilgan javoblar orasida (3-javob) shunday, to‘g‘ri javob 3. Shunday qilib, to'g'ri javob 3.

3-topshiriq misoli: F ifodasining haqiqat jadvalining bir qismi berilgan (o'ngdagi jadvalga qarang). F ifodasi uchun haqiqat jadvalining bir qismi berilgan (o'ngdagi jadvalga qarang). Qaysi ifoda F ga mos keladi? Qaysi ifoda F ga mos keladi? XYZF) (X ¬Y) Z 2) (X Y) ¬Z 3) X (¬Y Z)4) X Y ¬Z

Taqdimotni oldindan ko‘rishdan foydalanish uchun Google hisobini yarating va unga kiring: https://accounts.google.com

Slayd sarlavhalari:

Mantiqiy operatsiyalar Ivanova Yuliya

Mantiqiy operatsiya - bu berilgan bayonotlardan murakkab bayonotni qurish usuli bo'lib, unda murakkab bayonotning haqiqat qiymati asl bayonotlarning haqiqat qiymatlari bilan to'liq aniqlanadi.

Inversiya (mantiqiy inkor) Agar o'zgaruvchi noto'g'ri bo'lsa, mantiqiy o'zgaruvchining teskarisi to'g'ri bo'ladi va aksincha, o'zgaruvchi rost bo'lsa, teskarisi noto'g'ri bo'ladi. Belgilash:

1 0 0 1 haqiqat jadvali

Bog'lanish (mantiqiy ko'paytirish) Ikki mantiqiy o'zgaruvchining birikmasi, agar ikkala bayonot ham to'g'ri bo'lsa, rost bo'ladi. Belgilash:

Haqiqat jadvali A B 1 1 1 1 0 0 0 1 0 0 0 0

Diszyunksiya (mantiqiy qo'shish) Ikki mantiqiy o'zgaruvchining dis'yunksiyasi, agar ikkala bayonot ham yolg'on bo'lsa, yolg'on hisoblanadi. Belgilash:

Haqiqat jadvali A B 1 1 1 1 0 1 0 1 1 0 0 0

Implication (mantiqiy oqibat) Ikki mantiqiy o‘zgaruvchining implikatsiyasi, agar haqiqiy sababdan noto‘g‘ri natija kelib chiqsagina yolg‘on hisoblanadi. Belgilanishi: A - shart B - oqibat

Ekvivalentlik (mantiqiy tenglik) Ikki mantiqiy o'zgaruvchining ekvivalentligi, agar ikkala bayonot bir vaqtning o'zida yolg'on yoki haqiqat bo'lsa, to'g'ri bo'ladi. Belgilash:

Haqiqat jadvali A B 1 1 1 1 0 0 0 1 0 0 0 1

Mantiqiy amallarni bajarish ustuvorligi Mantiqiy ifoda (formula) qiymatini hisoblashda mantiqiy amallar ma'lum tartibda, ularning ustuvorligiga ko'ra hisoblanadi: 1. inversiya, 2. konyunksiya, 3. dis'yunksiya, 4. implikatsiya va ekvivalentlik. Xuddi shu ustuvorlikdagi operatsiyalar chapdan o'ngga amalga oshiriladi. Qavslar harakatlar tartibini o'zgartirish uchun ishlatiladi. Misol

Misol Formula berilgan, hisoblash tartibini aniqlang. Hisoblash tartibi: Inversiya – Konyunksiya – Dizyunksiya – Implication – Ekvivalentlik –

Mavzu bo'yicha: uslubiy ishlanmalar, taqdimotlar va eslatmalar

Mantiqiy ifodalar va asosiy mantiqiy amallar. Haqiqat jadvallari.

Ushbu ishlanmada "Mantiqiy ifodalar va asosiy mantiqiy amallar. Haqiqat jadvallari" mavzusi bo'yicha dars ishlanmasi mavjud. Qo'shimcha fayllar bilan taqdimot vaqtni tejaydi...

Matematik mantiqning elementlari. Mantiqiy operatsiyalar. Aloqalar va mantiqiy amallar yordamida mantiqiy ifodalarni qurish

Maktabda o'qiyotganda "Informatika va AKT" fani muhim ahamiyatga ega.Nazariy kursning bo'limlaridan biri - mantiq - mantiqiy fikrlash qonunlari va qoidalarini o'rganadi, ular...

Informatika darsi uchun taqdimot "Mantiqiy amallar va haqiqat jadvallari. Masalalar yechish".

“Mantiqiy amallar va haqiqat jadvallari” informatika darsi uchun taqdimot Ushbu taqdimot quyidagi bo‘limlardan iborat: Mantiqiy amallar, misollar; Mantiqiy amallar tartibi; Yechim misollari...