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