20
правок
Изменения
Нет описания правки
Импликанты, не подлежащие исключению, образуют ядро. Такие импликанты определяются по вышеуказанной матрице. Для каждой из них имеется хотя бы один столбец, перекрываемый только этой импликантой.
Для получения минимальной формы достаточно выбрать из импликантов, не входящих в ядро, такое минимальное их число с минимальным количеством букв в каждом из этих импликант, которое обеспечит перекрытие всех столбцов, не перекрытых членами ядра.
{|border="1"
|Набор <tex>xyzw</tex>
|0000
|0001
|0010
|0011
|0100
|0101
|0110
|0111
|1000
|1001
|1010
|1011
|1100
|1101
|1110
|1111
|-
|Значение исходной функции
|1
|0
|0
|0
|1
|0
|0
|0
|0
|0
|1
|1
|1
|1
|1
|1
|-
|}
{|border="1"
|№
|Эл. конъюнкция
|Поглощение
|-
|1
|<tex>\neg x\neg y\neg z\neg w</tex>
| +
|-
|2
|<tex>\neg xy\neg z\neg w</tex>
| +
|-
|3
|<tex>x\neg yz\neg w</tex>
| +
|-
|4
|<tex>x\neg y zw</tex>
| +
|-
|5
|<tex>xy\neg z\neg w</tex>
| +
|-
|6
|<tex>xy\neg zw</tex>
| +
|-
|7
|<tex>xyz\neg w</tex>
| +
|-
|8
|<tex>xyzw</tex>
| +
|-
|}
{|border="1"
|№№ скл.
|Результат
|-
| 1 - 2
|<tex>\neg x \neg z\neg w</tex>
|-
| 2 - 5
|<tex>y \neg z\neg w</tex>
|-
| 3 - 4
|<tex>x \neg yz</tex>
|-
| 3 - 7
|<tex>\neg x \neg z\neg w</tex>
|-
| 4 - 8
|<tex> xzw</tex>
|-
| 5 - 6
|<tex>xy\neg z</tex>
|-
| 5 - 7
|<tex>xy \neg w</tex>
|-
| 6 - 8
|<tex>xyw</tex>
|-
| 7 - 8
|<tex>xyz</tex>
|-
|}
{|border="1"
|№
|Эл. конъюнкция
|Поглощение
|-
| 1
|<tex>\neg x \neg z\neg w</tex>
|
|-
| 2
|<tex>y \neg z\neg w</tex>
|
|-
| 3
|<tex>x \neg yz</tex>
| +
|-
| 4
|<tex>\neg x \neg z\neg w</tex>
| +
|-
| 5
|<tex> xzw</tex>
| +
|-
| 6
|<tex>xy\neg z</tex>
| +
|-
| 7
|<tex>xy \neg w</tex>
| +
|-
| 8
|<tex>xyw</tex>
| +
|-
| 9
|<tex>xyz</tex>
| +
|-
|}
{|border="1"
|№№ скл.
|Результат
|-
| 3 - 9
|<tex>xz</tex>
|-
| 4 - 5
|<tex>xz</tex>
|-
| 6 - 9
|<tex>xy</tex>
|-
| 7 - 8
|<tex>xy</tex>
|-
|}
{|border="1"
|№
|Эл. конъюнкция
|Поглощение
|-
| 1
|<tex>xz</tex>
|
|-
| 2
|<tex>xy</tex>
|
|-
|}
==Ссылки==
