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