Метод Квайна - Мак-Класки (дискретная математика)

[rar]

Вот кусочек примера из книги:


То, что выделено красным овалом мне не понятно. Не понятно откуда взялся этот набор. По идеи, там, вообще, не должно быть ячейки. Объясните пожалуйста.

[Xaositect]

Здесь выписываются грани функции, отсортированные по весу.
Грань ${\tt --11}$(состоящая из наборов 3=0011, 7=0111, 11=1011 и 15=1111), безусловно, функцией покрывается и в минимальную ДНФ входит

[rar]

Объясните, как он там оказался! Я этого понять не могу. В книге про это ничего не сказано. Внимательно повторяя пример, у меня там этого набора не получается, а у них стоит. А нигде не сказано почему и как он там оказался.

-- Вт май 19, 2009 14:17:03 --

Xaositect в сообщении #215203 писал(а):

Здесь выписываются грани функции, отсортированные по весу.
Грань ${\tt --11}$(состоящая из наборов 3=0011, 7=0111, 11=1011 и 15=1111), безусловно, функцией покрывается и в минимальную ДНФ входит

Объясните лучше не почему, а как он там оказался.

[Xaositect]

Тут почему-то выписаны не все грани с одним "минусом"
В строке $S_3$ должно быть -111 и 1-11

-- Вт май 19, 2009 13:22:45 --

Вот из них и 0-11, -011 получается склейкой --11

[rar]

В строке

$$S_3$$

, по моему, ничего не должно быть. Так как склевать из

$$S_3$$

с

$$S_4$$

там ничего нельзя... Честно сказать, ничего там и не понял. Я логики там не вижу.

[Xaositect]

Как же нельзя, 0111+1111 = -111

[rar]

А-а, вот так должно быть:

[Xaositect]

Да.

[rar]

Спасибо. Разобрались.