Matematik mantiqning asosiy qismlaridan biri bo‘lib, mantiqiy operatorlar va ifodalarni tadqiq etadi. "Truth table" (haqiqat jadvali) va Bool algebrasi mavzularini o‘z ichiga oladi