Amaliy matematika va informatika

1.6. Mulohazalar algebrasi va mulohazalar hisobi o’rtasidagi munosabatlar
Mulohazalar hisobi formulalarini xuddi mulohazalar algebrasi formulalari sifatida qarash mumkin. Buning uchun mulohazalar hisobi o’zgaruvchilariga mulohazalar algebrasi o’zgaruvchilari singari qaraymiz, ya’ni o’zgaruvchilar chin yoki yolg’on (1 yoki 0) qiymat oladi deb hisoblaymiz.

va  amallarni mulohazalar algebrasidagiday aniqlaymiz.

Mulohazalar hisobining har bir formulasi, o’zgaruvchilar uning ifodasiga qanday kirishidan qat’iy nazar, 1 yoki 0 qiymat qabul qiladi. Uning qiymati mulohazalar algebrasidagi qoidalar bo’yicha hisoblanadi.

Mulohazalar hisobi formulasining qiymati tushunchasini aniqlaylik.

-mulohazalar hisobi formulasi, lar esa formula ifodasiga kiruvchi o’zgaruvchilar bo’lsin. lar orqali mos ravishda o’zgaruvchilarning qiymatlarini belgilaymiz, . vektor 2ⁿ ta qiymatlar satriga ega.