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