Сборник задач по дискретной математике. Учебное пособие. Москва: Наука

Aynan yolg‘on formulalar. Formula uning tarkibida ishtirok etuvchi elementar mulohazalarning mumkin bo‘lgan barcha qiymatlar satrlari ucnun faqat yo qiymat qabul qilishi ham mumkin.
2- ta’rif. Tarkibidagi elementar mulohazalarning mumkin bo‘lgan barcha qiymatlar satrlarida faqat yo qiymat qabul qiluvchi formula aynan yolg‘on (doimo yolg‘on) yoki bajarilmaydigan formula deb ataladi.
1- va 2- ta’riflardan yaqqol ko‘rinib turibdiki, aynan yolg‘on formula tavtologiyaning inkoridir, va, aksincha, tavtologiya aynan yolg‘on formulaning
inkoridir. Shuning ucnun aynan yolg‘on formulani yoki 0 bilan belgilash joizdir.
Aynan yolg‘on formula ham, aynan chin formula kabi, o‘z tarkibida ishtirok etuvchi o‘zgaruvchilarning qiymatlariga bog‘liq emas, u faqat bitta (yo) qiymat qabul qiladi. Berilgan formulaning bajarilmaydigan formula bo‘lishi yoki bo‘lmasligi ham, odatda, uning qiymatlar jadvali yordamida aniqlanadi.
3- misol. formula aynan yolg‘on formuladir. Haqiqatdan ham, asosiy chinlik jadvallari yordamida formulaning chinlik jadvalini tuzsak, natijada 3- jadvalga ega bo‘lamiz.

3- jadval
yo	yo	ch	ch	ch	yo	yo
yo	ch	ch	ch	ch	yo	yo
ch	yo	yo	yo	yo	ch	yo
ch	ch	yo	ch	ch	yo	yo

3- jadvalning oxirgi ustuniga ko‘ra . ■