20
правок
Изменения
Нет описания правки
=== Карты Карно ===
Построим следующую таблицу <tex>n*n</tex>, где <tex>n </tex> {{---}} количество переменных:
{| border="1"
|
===Метод Квайна===
Этот метод основан на применении двух основных соотношенийопераций:
*Операция попарного неполного склеивания:
:<tex>A x \lor A \neg x = A x \lor A \neg x \lor A</tex>
*Выполняются все возможные операции неполного попарного склеивания для элементарных конъюнкций длины n (где n {{---}} количество аргументов).
*Выполняются все возможные операции элементарного поглощения для элементарных конъюнкций длины n-1 (общая часть "p" имеет длину n-1)
*В результате получилось множество элементарных конъюнкций, разделяемых на два подмножества(по длине):
**подмножество элементарных конъюнкций длины n (оставшиеся)
**подмножество элементарных конъюнкций длины n-1
*Если множество элементарных конъюнкций длины n-1 не пусто, то заново выполняются шаги со второго операции неполного попарного склеивания и элементарного поглощения для конъюнкций длины n-1 и т.д.
Алгоритм завершается, когда подмножество является пустым, либо нельзя выполнить ни одной операции неполного попарного склеивания.
После выполнения алгоритма будет получена сокращенная минимальная форма.
Для получения минимальной формы достаточно выбрать из членов сокращённой формы, не входящих в ядро, такое минимальное их число с минимальным количеством букв в каждом из этих членов, которое обеспечит перекрытие всех столбцов, не перекрытых членами ядра.
Функция от четырёх аргументов задана следующей таблицей:
{|border="1"
|№
|Эл. Элементарная конъюнкция
|Поглощение
|-
{|border="1"
|№
|Эл. Элементарная конъюнкция
|Поглощение
|-
{|border="1"
|№
|Эл. Элементарная конъюнкция
|Поглощение
|-
