Mantiq algebrasi matematikada mantiqiy tushunchalarni formalizatsiyalash va ular ustida operatsiyalar va qoidalar yaratish uchun ishlatiladigan bir algebraviy tizimdir. Bu tizim mantiqiy muammoni yechishda, tushunchalarni ifodalashda va mantiqiy tahlilni o'rganishda foydalaniladi