Mavzu: Asosiy teng kuchliliklar. Teng kuchli formulalarga doir teoremalar. Tayyorladi: Mushtariybonu. 1. Asosiy ekvivalentliklar. 2. Ekvivalent formulalar tushunchasi va xossalari. 3. Ekvivalent formulalar haqidagi teoremalar. Reja: Kirish. Mantiqiy ekvivalentliklar, masalan, p → q ≡ ¬p ∨ q, formulalarning rostlik qiymatlari barcha hollarda teng ekanligini ko'rsatib, teoremalarni isbotlashda muhim rol o'ynaydi