Схемотехника микросхем и узлов ЭВМ. Брякин Л.А. - 15 стр.

        z1 ∨ z 2 ∨ ... ∨ zm = z1z 2...zm
        z1z 2...zm = z1 ∨ z 2 ∨ ... ∨ zm

где под zi понимается отдельная переменная или комбинация перемен-
ных. Для рассматриваемого случая применение правила де Моргана с
целью исключения функции дизъюнкции позволяет прийти к выраже-
нию, требующему для своей реализации только логические элементы,
выполняющие функции конъюнкция и отрицание:

 y = x1x 2 x3 ∨ x1x 2x3 ∨ x1x 2 x3 ∨ x1x 2 x3 = ( x1x 2 x3)( x1x 2x3)( x1x 2 x3)( x1x 2 x3)

      Здесь используется тот факт, что двойное отрицание от логиче-
ской функции равно самой функции.
      Во-вторых, прежде чем реализовать комбинационные схемы,
обычно упрощают (или минимизируют) аналитическую запись, исполь-
зуя аксиомы алгебры логики. Вот некоторые из них:
        1= 0;              0 = 1;          1x = x ;          0x = 0 ;
        x = xx ;           x∨ x = x;       1∨ x = 1;         0∨ x = x;
        xx = 0 ;         x ∨ x = 1;        x = x;            x1 ∨ x1x 2 = x1 ;
        x1( x1 ∨ x 2) = x1 ;

     Кроме отмеченных аксиом, для логических выражений справед-
ливы переместительные, распределительные и сочетательные законы:
        x1 ∨ x 2 = x 2 ∨ x1 ;              x1( x 2 x3) = ( x1x 2) x3 ;
        x1x 2 = x 2 x1 ;                   x1 ∨ ( x 2 ∨ x3) = ( x1 ∨ x 2) ∨ x3 ;
        x1( x 2 ∨ x3) = x1x 2 ∨ x1x3 ;     x1 ∨ x 2 x3 = ( x1 ∨ x 2)( x1 ∨ x3)
       В процессе минимизации отыскиваются в СДНФ или произволь-
ной исходной аналитической форме конъюнкции, отличающиеся в од-
ной переменной, и к ним применяется правило склеивания:
x1z ∨ x1z = z ( x1 ∨ x1) z или поглощения: x1 ∨ x1z = x1 , где z - отдельная пе-
ременная или логическое выражение. В результате две конъюнкции,
связанные дизъюнкцией, заменяются одной, содержащей к тому же
меньшее число переменных. Для предложенного примера процесс ми-
нимизации выглядит следующим образом: