Rostlik jadvalida α=α(A,B,C) formula 0 ga teng bo‘lgan qator nomerlarini yozib chiqamiz.
Rostlik jadvalida α=α(A,B,C) formula 0 ga teng bo‘lgan qator nomerlarini yozib chiqamiz.
1-qator 3-qator 4-qator 5-qator 7-qator
Har bir qator mantiqiy imkoniyatlaridagina 0 ga teng bo‘lgan, boshqa imkoniyatlarda esa 1 ga teng bo‘lgan formulalarni yozib chiqamiz. Buning uchun 0 ga teng bo‘lgan qatordagi fikr o‘zgaruvchilari qiymatlarini 0(yolg‘on) ga aylantirib, fikr o‘zgaruvchilari diz’yumksiyasini olish lozim.
Shunda 1-qator uchun: A\/B\/C; 3-qator uchun: A\/B\/ ⌐C; 4-qator uchun: A\/⌐B\/⌐C; 5-qator uchun: ⌐A\/B\/C; 7-qator uchun: ⌐A\/⌐B\/C bo‘ladi.
Shunda 1-qator uchun: A\/B\/C; 3-qator uchun: A\/B\/ ⌐C; 4-qator uchun: A\/⌐B\/⌐C; 5-qator uchun: ⌐A\/B\/C; 7-qator uchun: ⌐A\/⌐B\/C bo‘ladi.
Agar qatorlar bo‘yicha olingan formulalar kon’yunksiyasi olinsa, hosil bo‘lgan formula qidirilayotgan formula bo‘ladi.
