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