Алгебра высказываний. основные операции алгебры высказываний

Ushbu kitob diskret matematika bo'yicha mustaqil ish bo'lib, unda mantiqiy algebra va uning asosiy tushunchalari, formulalari, amallari va qo'llanilishi ko'rib chiqiladi. Kitobda nazariy materiallar, misollar, testlar va taqdimot materiallari mavjud.

Asosiy mavzular

Mantiqiy algebra formulalari va funksiyalari: Mantiqiy algebra formulalarini aniqlash, teng kuchli formulalar, inkorni dizyunksiya va kon'yunksiya orqali ifodalash. Mantiqiy ifodalarni soddalashtirish.
Amaliy masalalar yechish: Mantiqiy mulohazalarni formulalarga aylantirish va ularni tahlil qilish, rostlik jadvallarini tuzish, mantiqiy tenglamalarni yechish.
Mantiqiy funksiyalar: Mantiqiy funksiya tushunchasi, argumentlar sohasi, rostlik va yolg'on qiymatlari, muhim va mavhum argumentlar.
Asosiy mantiqiy amallar: Inversiya (inkor), dizyunksiya (mantiqiy qo'shish), kon'yunksiya (mantiqiy ko'paytirish), implikatsiya, ekvivalentlik amallari.
Mantiqiy amallarning prioriteti: Mantiqiy amallarni bajarish tartibi.