1. Проверить, является ли тавтологией формула:

 ((aUb)&c)-(aUb)

2. Применяя равносильные преобразования привести булеву функцию   F=(xUy)(yUz)-(xUz) к минимальной ДНФ. 

3. Построить конечный детерминированный автомат, минимизировать его, записать канонические уравнения.

 y(t)=x(t-1)-x(t), t>2, y(1)=1