20
правок
Изменения
Нет описания правки
|-
|}
{|border="1"
|
|<tex>\neg x\neg y\neg z\neg w</tex> >
|<tex>\neg x y\neg z\neg w</tex> >>
|<tex>x\neg yz\neg w</tex> >
|<tex>x\neg yzw</tex> >
|<tex>xy\neg z\neg w</tex> >>
|<tex>xy\neg zw</tex> >
|<tex>xyz\neg w</tex> >>
|<tex>xyzw</tex> >>
|-
|<tex>\neg x\neg z\neg w</tex>*
|style="background:#F4A460"| +
| +
|
|
|
|
|
|
|-
|<tex>y\neg z\neg w</tex>
|
| +
|
|
| +
|
|
|
|-
|<tex>xz</tex>*
|
|
|style="background:#F4A460"| +
|style="background:#F4A460"| +
|
|
| +
| +
|-
|<tex>xy</tex>*
|
|
|
|
| +
|style="background:#F4A460"| +
| +
| +
|-
|}
