2.6.2. ВЫВОД ЗА ПРЕДЕЛЫ ДНФ

Логическими выражениями в виде ДНФ удобно оперировать, но реальный элементный
базис все таки NAND/NOR, а не AND/OR.

Вывод за пределы ДНФ в NAND.

                                  _____________
                                  _____   _____
F(x1,x2,x3,x4) = x1*x2 + x3*x4 =  x1*x2 * x3*x4



Вывод за пределы ДНФ в NOR

возмем инверсную функцию от F.

                                 _____________________
                                 _________   _________
-                _____________    __   __     __   __
F(x1,x2,x3,x4) = x1*x2 + x3*x4 = (x1 + x2) + (x3 + x4)