62
правки
Изменения
→Решение XOR-SAT задачи методом Гаусса
! style="background: #ffdddd;" |<tex> \cong 1 </tex>
|}
{| class="wikitable" align="center" style="color: blue; background-color:#ffffcc;" cellpadding="10"
|+
!colspan="5"|Нормированная система уравнений
|-align="center"
! Используя свойства Булевых колец
(<tex>\neg x=1 \oplus x</tex>, <tex>x \oplus x=0</tex>)
|
|-align="center"
!Переменные
|! width="20%" | Значение
|-align="center"
! <tex> a </tex> <tex>\oplus</tex> <tex> c </tex> <tex>\oplus</tex> <tex> d </tex>
|<tex>=1</tex>
|-align="center"
! <tex> b </tex> <tex>\oplus</tex> <tex> c </tex> <tex>\oplus</tex> <tex> d </tex>
|<tex>=0</tex>
|-align="center"
! <tex> a </tex> <tex>\oplus</tex> <tex> b </tex> <tex>\oplus</tex> <tex> d </tex>
|<tex>=0</tex>
|-align="center"
! <tex> a </tex> <tex>\oplus</tex> <tex> b </tex> <tex>\oplus</tex> <tex> c </tex>
|<tex>=1</tex>
|-align="center"
! style="background: #ffdddd;" |<tex> a </tex> <tex>\oplus</tex> <tex> b </tex> <tex>\oplus</tex> <tex> c </tex>
! style="background: #ffdddd;" |<tex> \cong 0 </tex>
|}
</center>
