315
правок
Изменения
→Карты Карно
|
|
!<math> w</math> !<math> w</math> !не <math> \neg w</math> !не <math> \neg w</math>
|-
|
|
!<math> z</math> !не <math> \neg z</math> !не <math> \neg z</math> !<math> z</math>
|-
!<math> y</math> !<math> x</math>
|style="background:#F4A460"|1
|style="background:#F4A460"|1
|style="background:#F4A460"|1
|-
!<math> y</math> !не <math> \neg x</math>
|style="background:#F4A460"|1
|style="background:#F4A460"|1
|style="background:#F4A460"|1
|-
!не <math> \neg y</math> !не <math> \neg x</math>
|
|
|
|-
!не <math> \neg y</math> !<math> x</math>
|style="background:#D2B48C"|1
|style="background:#D2B48C"|1
|}
<br>
*После этого записываем каждыйпрямоугольник в виде конъюнкта, в котором будут указаны только те переменные, которые одинаковы для всех ячеек этого прямоугольника: <math>Y \and (X \and \neg Y \and W) \and (X \and \neg Y \and \neg Z \and \neg W)</math>
