Cтраница 4
При этом предлагается все однородные импликанты, у которых отсутствует аргумент с номером /, размещать в отдельных столбцах под этими же номерами. [46]
Сокращенная ДНФ может содержать лишние импликанты, удаление которых не меняет таблицы истинности. Если из сокращенной ДНФ удалить все лишние импликанты, то получается ДНФ, называемая тупиковой. [47]
Другой способ получения простых импликант формул с малым числом переменных ( и, значит, нахождения с помощью матрицы Квайна минимальной ДНФ) основан на использовании так называемых карт Карно. [48]
Теперь приступим к поиску импликантов. [49]
Показать, что простая импликанта монотонной функции не содержит отрицаний переменных. [50]
В случае если простую импликанту можно получить из конституенты единицы вычеркиванием некоторых букв, то говорят, что импликанта накрывает ( покрывает) конституенту. [51]
Основное состояние, соответствующее данному импликанту, нужно проверять на покрытие только последующими импликан-тами. Это следует из анализа процесса получения простых импликантов: основное состояние не могло быть покрыто ни одним из предыдущих импликантов, так как в противном случае оно было бы ранее переведено в условные и его нельзя было бы принять за основное. [52]