В чем заключается метод последовательного исключения переменных при решении логических задач?

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

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

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

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

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

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

Пользователь

Время добавления