Вопросы к Поиску с Алисой
Метод последовательного исключения переменных — один из методов минимизации логических функций. elib.osu.ru studfile.net Он выполняется с помощью основных законов и тождеств алгебры логики. elib.osu.ru studfile.net
Суть метода: исключение переменных из минтерма происходит при прибавлении к нему минтерма, отличающегося от него только одной переменной (склеивание минтермов). elib.osu.ru studfile.net
Алгоритм решения логических задач методом последовательных исключений: moodle.distcentr.ru
Решение будет доведено до конца, когда удастся разместить по одному плюсу в каждой строке и колонке. moodle.distcentr.ru
Важно учитывать, что этот метод не даёт гарантии получения минимальной формы. elib.osu.ru studfile.net Он может привести к получению одной из тупиковых форм, которые больше не упрощаются, но не являются минимальными. elib.osu.ru studfile.net