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