Линейные логические функции Способы задания булевых функций примеры