Когда вы пытаетесь использовать свойство дистрибутива, вы конвертируете minterms в maxterms.На самом деле это очень связано с вашим вторым вопросом.
Чтобы сказать, что xy'z '- это m4, представьте себе функцию как двоичную, где false равно 0, а true равно 1. xy'z', затем становится 100, двоичным длядесятичное число 4. Это действительно то, что таблица k-map / minterm делает для того, чтобы вы дали число.
Теперь важное расширение этого: количество возможных комбинаций равно 2 ^ числу различных переменных.Если у вас есть 3 переменные, есть 2 ^ 3 или 8 различных комбинаций.Это означает, что у вас есть минимальные / максимальные возможные числа от 0 до 7.Вот классная часть: все, что не является minterm, является maxterm, и наоборот.
Итак, если у вас есть переменные x и y и у вас есть выражение xy ', вы можете увидеть это как 10или м2.Поскольку числа идут от 0-3 с 2 переменными, m2 подразумевает M0, M1 и M3.Следовательно, xy '= (x + y) (x + y') (x '+ y').
Другими словами, самый простой способ сделать свойство дистрибутива в любом направлении - это заметить, что такоеили maxterm, с которым вы имеете дело, и просто переключите его на другое.
Для больше информации / другая формулировка .