1. Mantiq amallari: dizyunksiya,konyuksiya inkor

2. implikatsiya ekvivalensiya aynan rost, aynan yolgon, bajariluvchi, teng Kuchli formulalar.
A va В mulohazalar implikatsiyasi deb, A mulohaza rost va В mulohaza yolg‘on bo‘lgandagina yolg‘on, qolgan hollarda rost boladigan mulohazaga aytiladi. A va В mulohazalar ekvivalensiyasi deb, A va В mulohazalarning ikkalasi ham yolg‘on yoki ikkalasi ham rost bo‘lganda rost, qolgan hollarda yolg‘on bo‘ladigan mulohazaga aytiladi. Yuqorida ta’riflangan amallar rostlik jadvali quyidagi ko‘- rinishda bo‘ladi.
A va В formulalar tarkibiga kirgan barcha mulohazalar lardan iborat bo‘lsin. Agar mulohazalaning barcha qiymatlari tizimida A va В formulalar bir xil qiymatlar qabul qilsa, u holda bu formulalar teng kuchli formulalar deyiladi va A=B ko‘rinishida belgilanadi.
Formulada qatnashgan mantiq amallari soni formulaning rangi deyiladi.

1. 
   A formula - A mulohazadan iborat bo‘Isa, uning formulaosti faqat uning o‘zidan iborat.
   
2. 
   2. Agar formulaning ko‘rinishi A * В dan iborat bo‘lsa, u holda uning formulaostilari А, В, A * В lar hamda A va В larning barcha formulaostilaridan iborat bo‘ladi. Bu yerda * — a , v , =>, <=> amallaridan biri.
   

Agar formulaning ko‘rinishi bo‘lsa, uning formulaostilari A formula, A formulaning barcha formulaostilari va ning o‘zidan iborat. A formula, shu formula tarkibiga kirgan barcha mulohazalarning qabul qilishi mumkin bo‘lgan barcha qiymatlari tizimida rost bo‘lsa, bu formula aynan rost formula yoki mantiq qonuni, yoki to\tologiya\ mulohazalaming kamida bitta qiymatlari tizimida rost qiymat qabul qilsa, bajariluvchi formula; barcha qiymatlari tizimida yolg‘on qiymat qabul qilsa, aynan yolg ‘on formula yoki ziddiyat deyiladi.
1-misol. formulaning turini aniqlang.
Yechish. Berilgan formulada uchta А, В, С mulohazalar qatnashganligi sababli, ularning qiymatlar tizimlari 23 = 8 ta bo‘ladi. Formulaning rostlik jadvaliga 8 ta tizimni tartib bilan joylashtiramiz. Mantiq amallarining bajarilish tartibiga ko‘ra awal konyunksiyani, keyin A v С dizyunksiyani va nihoyat hosil qilingan formulalarning implikatsiyasini bajaramiz. Ya’ni amallaming ta’riflariga ko‘ra mos ustunlami to‘ldiramiz. Natijada quyidagi rostlik jadvali hosil bo‘ladi:

Formulaning rostlik jadvalidagi oxirgi ustun - formulaning rostlik qiymatlar ustuni faqat rost qiymatlardan iborat bo‘lganligi uchun berilgan formula aynan rost (tavtologiya, mantiq qonuni), degan xulosaga kelamiz.

3.