Microsoft Word kt 2- amaliy ish

O‘ZBEKISTON RESPUBLIKASI AXBOROT TEXNOLOGIYALARI VA
KOMMUNIKATSIYALARINI RIVOJLANTIRISH VAZIRLIGI
MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT
TEXNOLOGIYALARI UNIVERSITETI
“KOMPYUTER TIZIMLARI” kafedrasi Kompyuterni tashkil etilishi fanidan tayyorlagan
“Kompyuterning mantiqiy asoslari” mavzusidagi topshiriq uchun
XISOBOTI
CAO010-3 guruh talabasi :
Qilichev Abbosbek
KT kafedrasi asistenti :
A.A.Temirov
Toshkent – 2023

Mashg‘ultoning maqsadi.
Amaliy mashg‘ulotning nazariy qismi uchun ekvivalensiya ta’rifi va uchta hodisadan tashkil topgan ekvivalensiya jadvalini shakllantirishdan iborat. Amaliy qismi uchun quyidagi keltirilgan masalaning sxemasi, mantiqiy elementlar bilan ishlashi mumkin bo‘lgan ilovalardan (masalan: SimulatorNew.jar) birida natijalarni tahlil qilish ishlari olib borilishi talab etiladi.
𝑦 = (𝑥1𝑥2𝑥3)(𝑥̅1𝑥̅2𝑥̅3)(𝑥̅1𝑥̅2𝑥̅3)


Nazariy ma’lumot.
Ekvivalensiya.
Tа’rif. A va B mulohazalar bir vaqtda rost yoki bir vaqtda yolg`on bo`lganda rost bo`ladigan mulohaza A va B mulohazalarning ekvivalensiyasi deyiladi,  ko`rinishda belgilanadi.
Bu yerdagi  yozuv “A faqat va faqat, qachonki B”, yoki “A ekvivalent B”, yoki “B uchun A zarur va yetarli” deb o`qiladi. Ekvivalensiyaning rostlik jadvali quyidagicha bo`ladi:

Masalan. A: “972 soni 9 ga karrali”, B: “972 soni raqamlarining yig`indisi 9 ga karrali” mulohazalari berilgan bo`lsin. U holda A va B mulohazalarning ekvivalensiyasi quyidagicha bo`ladi. “972 soni 9 ga karrali bo`ladi, faqat va faqat shu holda, qachonki bu son raqamlarining yig`indisi 9 ga karrali bo`lsa. Bu ekvivalensiya rost.

Ekvivalensiya rostlik jadvali(3talik)