удобно минимизировать путем сравнения рабочих и запрещенных наборов. Задача заключается
в том, чтобы в каждом рабочем наборе оставить минимальное количество переменных, позволяющих отличить этот набор от всех запрещенных наборов.Покажем это на примере минимизации функции «импликация х в y»: