Цифровая электроника - Аксиомы и тождества алгебры логики Логические функции трех переменных таблицы истинности