У попередній статті я розповів, як симетричні карти дозволяють досить просто і швидко мінімізувати булеві функції, але не висвітлив два моменти: отримання різних варіантів мінімального рішення та автоматизацію самого алгоритму мінімізації. Розповім тут про це більш детально.
