Пошаговое объяснение:
Процесс упрощения булевых, т.е. логических, выражений, как уже отмечалось, не является алгоритмическим. не очевидно, какое из тождеств следует применить на том или ином шаге. Исскуство приходит только с опытом. Поэтому для упрощения булевых выражений были разработаны алгоритмические методы. Например, метод карт Карно.
Карты Карно , являются графическим представлением таблиц истинности. Поэтому они строятся или по таблице истинности анализируемой функции, или же по ее СНДФ.