Метод последовательного исключения переменных — один из методов минимизации логических функций. 23 Он выполняется с помощью основных законов и тождеств алгебры логики. 23

Суть метода: исключение переменных из минтерма происходит при прибавлении к нему минтерма, отличающегося от него только одной переменной (склеивание минтермов). 23

Алгоритм решения логических задач методом последовательных исключений: 1

1. Составить таблицу, в которой будут учтены все возможные варианты. 1
2. Внимательно прочитать каждое утверждение и исключить хотя бы один из вариантов. 1
3. Отыскать ключевое утверждение. 1
4. После сравнения всех утверждений и исключения тех, невероятность которых хорошо видна, сравнить утверждения между собой, установить связи и противоречия. 1
5. В каждой строке и в каждом столбце таблицы может стоять только один знак «+». 1
6. Если в строке (или столбце) все «места», кроме одного, заняты «–», то на свободное место нужно поставить знак «+». 1 Если в строке (или столбце) уже есть знак «+», то все остальные места должны быть заняты знаком «–». 1

Решение будет доведено до конца, когда удастся разместить по одному плюсу в каждой строке и колонке. 1

Важно учитывать, что этот метод не даёт гарантии получения минимальной формы. 23 Он может привести к получению одной из тупиковых форм, которые больше не упрощаются, но не являются минимальными. 23