Teng kuchli formulalar va asosiy teng kuchliliklar Ta’rif

Bul funksiyalarining o’zgaruvchilar bo’yicha yoyilmasi.
Mukammal diz’yunktiv normal shakl. Mukammal kon’yunktiv normal shakl. funksiyani quyidagicha: o’zgaruvchilari bo’yicha yoyilmasi
distributivlik qonunini qo’llab qavslarni ochamiz
. Ю ning ‐darajasi
natija olinadi.
Misol: o’zgaruvchilari bo’yicha yoyilmasini toping. Yoyilma koeffisiyentlarini topamiz:
Yoyilma koeffisiyentlarini formulaga qo’yamiz:
(0,0, Z) xy(z Z)Ъ
funksiyani ta o’zgaruvchilari bo’yicha yoyilmasi quyidagicha:
‐Mukammal diz’yunktiv normal
shakl. (MDNSh)
‐ Mukammal kon’yunktiv normal shakl. (MKNSh)
Muammoli masala va topshiriqlar:
Mantiq algebrasidagi ikki taraflama qonun
Ikki taraflama funksiya. Endi ikki taraflama (qo‘shma) funksiya tushunchasini kiritamiz. funksiyaga ikki taraflama bo‘lgan funksiyani topish uchun funksiyaning chinlik jadvalida hamma o‘zgaruvchilarni ularning inkoriga almashtirish kerak, ya’ni hamma joyda 1ni 0ga va 0ni 1ga almashtirish kerak
Ikkilik prinsipi, duallik prinsipi, oʻzaro proporsionallik prinsipi— proyektiv geometriyanit asosiy teoremalaridan biri. Isbotlash mumkin boʻlgan bir te-oremadan bevosita ikkinchi teoremani keltirib chiqarishga imkon beradi. I.p. nazariyada oʻzaro dual (kush) tushunchalar mavjudligiga asoslangan. Nazariyada I.p. oʻrinli boʻlishi uchun har bir aksiomaga dual jumla yo aksioma, yoki teorema boʻlishi kerak. Shu sababli, biror jumlani isbotlash mumkin boʻlsa, unga dual jumla ham toʻgʻri boʻladi. Masalan, tekislik proyektiv geometriyasida "nuqta" va "toʻgʻri" oʻzaro dual tu-shunchalar, quyidagi aksioma va teo-remalar esa dual jumlalardir: Ixtiyoriy turli ikki nuqtadan bir toʻgʻri chiziq oʻtadi. (Paskal teorema-si). Ikkinchi tartibli har qanday chi-ziqqa ichki chizilgan oltiburchaklikda uch juft qaramaqarshi tomonlar ke-sishgan uchta nuqta bir toʻgʻri chiziqda yotadi.
Ixtiyoriy turli ikki toʻgʻri chiziq bir nuqtada kesishadi. (Brianshon teoremasi). Ikkinchi tartibli har qan-day chiziqqa tashqi chizilgan oltiburchaklida uch juft qaramaqarshi uchlarni tutashtiruvchi uchta toʻgʻri chiziq bir nuqtada kesishadi.
Fazo proyektiv geometriyasida "nuk,ta" va "tekislik" tushunchalari, matematik mantikda dizʼyunksiya (mantiqiy yigʻindi) va konʼyunksiya (mantiqiy koʻpaytma) mavjudlik va umumiylik kvantorlari ikkilangandir. I.p. toʻplamlar, kategoriyalar nazariyalarida, topologiyada ham mavjud. I.p.ni birinchi marta proyektiv geometriya uchun fransuz olimi J.Ponsele (1788—1867) ifodalab bergan.