С помощью метода Куайна-МакКласки мы получаем сокращенную форму, а с помощью метода Петрика переходим к минимальной форме.
Дополнительную информацию о методе Куайна-МакКласки вы можете найти здесь или посмотреть здесь, а о методе Петрика - здесь.
- C++
