Синтез цифрових автоматів
13

СКНФ(f4)=