A.2.16 Минимизация СДНФ методом Куайна