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

 (a-b)-(b-cU(a-c))

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

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

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