195
правок
Изменения
м
→Пример
|}
{|borderclass="wikitable" style="1background-color:#FFF; text-align:center;"|!№ склеивания|!Результат
|-
|<tex> 1 - 2</tex>
|<tex>\neg x \neg z\neg w</tex>
|-
|<tex> 2 - 5</tex>
|<tex>y \neg z\neg w</tex>
|-
|<tex> 3 - 4</tex>|<tex>x \neg yz</tex>
|-
|<tex> 3 - 7</tex>|<tex>\neg x \neg z\neg w</tex>|-|<tex> 4 - 8</tex>|<tex> xzw</tex>
|-
|<tex> 5 4- 68</tex>|<tex>xy\neg z xzw</tex>
|-
|<tex> 5 - 76</tex>|<tex>xy \neg wz</tex>
|-
|<tex> 6 5- 87</tex>|<tex>xyw xy \neg w</tex>
|-
|<tex> 7 6- 8</tex>|<tex>xyzxyw</tex>
|-
|<tex>7-8</tex>
|<tex> xyz</tex>
|}
