Основы математической логики. Функции алгебры логики Штрих шеффера таблица истинности