Text this: Логическое проектирование цифровых устройств, основанное на представлении функций в обобщенной форме