62
правки
Изменения
→Решение XOR-SAT задачи методом Гаусса
==Решение XOR-SAT задачи методом Гаусса==
{| class="wikitable"
|+
!colspan="2"|Решение XOR-SAT задачи методом Гаусса
|-align="center"
!
<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
! style="background: #ffdddd;" |<tex> \cong 1 </tex>
|}
</center>!дадддддддддддддддддддддддддд|-align="center"!<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
! style="background: #ffdddd;" |<tex> \cong 0 </tex>
|}
</center>|-align="center"!<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
!class="dark"| <tex>c</tex>
!class="dark"| <tex>d</tex>
!class="green" style="font-weight:normal" style="background: #ddffdd;"|
|Строка
|-align="center"
| <tex>D</tex>
|}
</center>|-align="center"!<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
| <tex>B</tex>
|}
</center>|-align="center"!<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
| <tex>B</tex>
|}
</center>|-align="center"!<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
| <tex>B</tex>
|}
</center>|-align="center"!<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
| <tex>H=B \oplus E</tex>
|}
</center>
|-align="center"
!
<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
| <tex>H</tex>
|}
</center>
|-align="center"
!
<center>
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
|}
</center>
|}
Следствие:<tex>R</tex>(<tex>a</tex>,<tex>c</tex>,<tex>d</tex>)<tex>\land</tex> <tex>R</tex>(<tex>b</tex>,<tex>\neg c</tex>,<tex>d</tex>)<tex>\land</tex><tex>R</tex>(<tex>a</tex>,<tex>b</tex>,<tex>\neg d</tex>)<tex>\land</tex><tex>R</tex>(<tex>a</tex>,<tex>\neg b</tex>,<tex>\neg c</tex>)<font color='red'>∧ R(¬a,b,c)</font>
