SMS: Основы теории булевых функций