Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar

Aynan chin, aynan yolg‘on va bajariluvchi formulalar

Elementar mulohaza. Formula. Aynan chin, aynan yolg‘on formulalar. Tavtologiya. Bajariluvchi formula. Bajarilmaydigan formula. Mantiqiy ekvivalent formulalar. Mantiq qonunlari. Yechilish muammosi.Yechuvchi usul.

Tavtologiya. Tabiiyki, berilgan formula uning tarkibida qatnashuvchi elementar mulohazalarning mumkin bo‘lgan barcha qiymatlar satrlari ucnun turli qiymatlar, jumladan, faqat ch yoki faqat yo qiymat qabul qilishi mumkin.

1- ta’rif. Tarkibidagi elementar mulohazalarning mumkin bo‘lgan barcha qiymatlar satrlarida faqat ch qiymat qabul qiluvchi formula tavtologiya deb ataladi.

1- jadval
yo	yo	ch	yo	ch
yo	ch	ch	yo	ch
ch	yo	yo	yo	ch
ch	ch	ch	ch	ch

Tavtologiya iborasi o‘rnida aynan chin yoki doimo chin formula iborasi ham qo‘llanilishi mumkin. Tavtologiya, ko‘pincha, yoki 1 bilan belgilanadi. Aynan chin formula, uning tarkibida ishtirok etuvchi o‘zgaruvchilarning qiymatlariga bog‘liq bo‘lmay, faqat bitta (ch) qiymat qabul qiladi.

Berilgan formula tavtologiya bo‘lishi yoki bo‘lmasligi, odatda, uning qiymatlar jadvali vositasida aniqlanadi.