Reja: kirish predikatlar algebrasi mulohazalar

5. Ekvivalensiya amali.

Ta’rif: p va q mulohazalarning ekvivalensiyasi deb p va q larning bir xil qiymatlarida rost, turli qiymatlarida yolg’on bo’lgan yangi mulohazaga aytiladi va uni  ko’rinishda belgilanadi.
Ekvivalensiya amaliga “Agar … bo’lsa, shu holda va faqat shu holda ... bo’ladi”, “...bajarilishi uchun ... bajarilishi zarur va etarli” kabi bog’lovchi so’zlar mos keladi.
Masalan, p: “berilgan natural son 3 ga bo’linadi”, q: “berilgan sonning raqamlar yig’indisi 3 ga bo’linadi”.
pq: “Berilgan sonning 3 ga bo’linishi uchun uning raqamlari yig’indisi 3 ga bo’linishi zarur va yetarli”.
Ekvivalensiya amaliga quyidagi rostlik jadvali mos keladi:

p	q	pq
1	1	1
1	0	0
0	1	0
0	0	1

Har bir qaralayotgan mulohazaga rostlik ustunidan bitta ustun mos keladi. Bu ustunni qiymatlar ustuni deb yuritamiz.
Ta’rif: Qiymatlari ustuni teng bo’lgan mulohazalar o’zaro teng kuchli mulohazalar deyiladi.
Masalan: p=>q va ┐q=>┐ p mulohazalarning teng kuchliligini quyidagi rostlik jadvali orqali ko’rsataylik:

p	q	┐p	┐q	p=>q	┐q=>┐p
1	1	0	0	1	1
1	0	0	1	0	0
0	1	1	0	1	1
0	0	1	1	1	1

p=>q va ┐q=>┐p mulohazalarning ustuni bir xil bo’lgani uchun p=>q=┐q=>┐p bo’ladi.
Ta’rif: universial algebra mulohazalar algebrasi deb yuritiladi.
Tarif: 1. p, q, r,... lar mulohazalar algebrasining formulalaridir.
2. Agar p va q lar mulohazalar algebrasining formulalari bo’lsa, u holda ┐p, p q, p q, p=>q, pq ham formula bo’ladi.
3. Mulohazalar algebrasidagi formulalar faqat 1-va 2-formulalar yordamida tuziladi. Ko’p hollarda 2. yordamida aniqlangan formulalar murakkab formulalar deb yuritiladi.
Murakkab formulaga argumentlari rost yoki yolg’on qiymatni qabul qiluvchi funktsiya deb qarash mumkin.
Ta’rif: x_i, argumentlarning har bir qabul qilishi mumkin bo’lgan barcha 1 va 0 qiymatlar tizimida A(x₁, x₂,…,x_n) formulani ifodalovchi mantiqiy funktsiya rost (yolg’on) qiymatga erishsa, u holda bu formula aynan rost (yolg’on) formula deyiladi.
Misol:

A	B
1	1	1	1
1	0	1	1
0		0	1
0	0	1	1

Agar A(x₁, x₂, …, x_n) formulada n ta elementar mulohaza bo’lsa, u holda bu formulaning rostlik jadvali 2ⁿ ta satr (yo’l) dan iborat bo’ladi.

1.3-§.Formulaning normal shakllari.
Formulaning normal shakllari quyidagi ta’rif asosida aniqlanadi.
Ta’rif. Berilgan formulaning kon’yunktiv normal shakli deb unga teng kuchli va elementar diz’yunksiyalarning kon’yunksiyalaridan tashkil topgan formulaga, diz’yunktiv normal shakli deb esa unga teng kuchli va elementar kon’yunksiyalarning diz’yunksiyalaridan tashkil topgan formulaga aytiladi.