• Алгебра логики
• Построение таблиц истинности