1. Проверить, является ли тавтологией формула:
a&b-(a&bUcUc)
2. Применяя равносильные преобразования привести булеву функцию
F=(x-y)-(yz-xz) к минимальной ДНФ.
3. Построить конечный детерминированный автомат, минимизировать его, записать канонические уравнения.
y(t)=x(t-1)-x(t), t>2, y(1)=1
|