|
Mavzu: Matematik mantiq elementlari Reja
|
| bet | 12/14 | | Sana | 23.09.2024 | | Hajmi | 0,55 Mb. | | #272018 |
Bog'liq 3-maruza Mantiqiy amallar va mantiqiy elementlarA
|
B
|
AB
|
1
|
1
|
1
|
1
|
0
|
1
|
0
|
1
|
1
|
0
|
0
|
0
|
Demak, f(x, y) = x y - Bul funksiyasi ekan. Umuman, A (A1..., An) - formula n o‘zgaruvchili Bul funksiyasidir.
Mulohazalar algebrasida konkret mulohazalarnigina emas, balki har qanday, istalgan mulohazalarni ham o‘rganiladi. Bunday mulohazalar o‘zgaruvchi mulohazalar deyiladi. Masalan, Sochi uzun qizning sochi qirqilgach, u kalta bo‘lib qoladi. Shuning uchun o‘zgaruvchi mulohazani x bilan belgilaymiz. U holda x har qanday konkret mulohazaning istalganini ifodalashga xizmat qiladi. Shuning uchun x ikki xil: chin va yolg‘on qiymatli o‘zgaruvchilarni ifodalaydi: x1=1(ch) x2=0(yo).
Matematik mantiqda emas, yoki, va agar, bo‘lsa, u holda, shunda va faqat shundagina, qachon, kabi so‘zlar (bog‘lovchilar) mulohazalar orasidagi mantiqiy amallar deyiladi. Bu amallar yordamida elementar mulohazalardan murakkab mulohazalar tuziladi. Bunday murakkab mulohazalar mantig‘i atamasi bilan bog‘liq qonunlar mulohazalar algebrasida o‘rganiladi. Mulohazalar algebrasi va mulohazalar mantig‘i atamasi bir-biri bilan sinonim. Chunki ularning har ikkalasi ham mulohazalarni ikki nuqtai nazardan ifodalaydi. Mantiqiy amallar quyidagilardan iborat:
|
| |
