Правильно ли реализовано условие «Не волнует (X)» в k-map

Question

У меня небольшая путаница в отношении состояния "Не волнует" на карте Карно. Как мы все знаем, карта Карно используется для достижения

1. полный
2. точный / точный
3. оптимальный

выводит уравнение 16-битного или иногда 32-битного двоичного решения, пока все не будет в порядке, но проблема возникает, когда мы вставляем в него не волнующие условия. У меня такой вопрос, Так как даже условия безразличия были сгенерированы на основе таблицы истинности «О» или «1» и на карте Карно, мы иногда заключаем или иногда игнорируем условия «Не заботимся» в наших группах карт Карно. так что это неоднозначность на карте Карно, которую мы игнорируем, если не заботимся об условиях на карте Карно потому что мы не знаем, что стоит за этим состоянием безразличия, это 1 или 0. так потом, как мы могли бы уверенно использовать сказать, что наше решение является полным или точным, в то время как мы игнорируем не волнующие его условия. Может быть, все равно, что мы игнорируем, содержит 1 в sop и 0 в pos, поэтому в соответствии с этим может содержать ошибку.

Answer 1

А "все равно" это просто так.То, что нас не волнует.Это дает нам возможность для дополнительной оптимизации, потому что это значение не ограничено.Мы можем сделать все, что пожелаем, для достижения наиболее оптимального решения.

Поскольку нам все равно, это не имеет значения, какова ценность.Мы будем использовать все, что нам больше подходит (самая низкая стоимость, самая быстрая и т. Д. «Оптимальная»).Если это лучше, чем 1 в одной реализации и 0 в другой, так и будет, это не имеет значения.

Да, всегда есть другой случай с этим пофиг, но мыМожно сказать, что это полный / точный, потому что мы не заботимся о другом.Мы будем относиться к этому так, как наша реализация будет лучше.