Классификация монотонных булевых функций (МБФ) по типам позволяет значительно сократить их перебор при синтезе цифровых схем. Связь типов и функциональных схем МБФ позволяет рассматривать только те типы, которые ...