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