Изменения

Перейти к: навигация, поиск

Сокращённая и минимальная ДНФ

165 байт добавлено, 01:36, 7 января 2017
м
Карты Карно
!<tex> \neg x</tex>
|
|<tex>1</tex> |<tex>1</tex>
|
|-
!<tex> \neg x</tex>
|
|<tex>1</tex> |<tex>1</tex> |<tex>1</tex>
|-
!<tex> \neg y</tex>
|
|
|<tex>1</tex> |<tex>1</tex>
|}
<br>
Теперь покрываем прямоугольниками (длины сторон которых {{---}} степени двойки (<tex>1, 2, 4</tex>)) те ячейки карт Карно, которые содержат в себе единицу (на каждом ходу мы выбираем такой прямоугольник, чтобы он покрывал наибольшее количество ещё не покрытых клеток) до тех пор, пока не покроем все такие ячейки.
Для карт Карно на примере это выглядело бы так:
!<tex> \neg x</tex>
|
|style="background:#F4A460"|<tex>1</tex> |style="background:#F4A460"|<tex>1</tex>
|
|-
!<tex> \neg x</tex>
|
|style="background:#F4A460"|<tex>1</tex> |style="background:#B4D19A"|<tex>1</tex> |style="background:#7FFFD4"|<tex>1</tex>
|-
!<tex> \neg y</tex>
|
|
|style="background:#7FFFD4"|<tex>1</tex> |style="background:#7FFFD4"|<tex>1</tex>
|}
<br>
195
правок

Навигация