Цифровая электроника - Аксиомы и тождества алгебры логики D avb c таблица истинности