62
правки
Изменения
XOR-SAT
,→Пример
|-align="center"
! style="background: #ffdddd;" |<tex> \neg a </tex> <tex>\oplus</tex> <tex> b </tex> <tex>\oplus</tex> <tex> c </tex>
! style="background: #ffdddd;" |<tex> \cong 1 </tex>
|}
</center>
!("«<tex>1</tex>" » означает «<tex> \mathtt {true}</tex>», "«<tex>0</tex>" » означает «<tex> \mathtt {false}</tex>»)
Каждый конъюнкт ведет к одному уравнению.
|-align="center"
|-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>
</center>
|}
===Решение===
Если <font color='red'>красный пункт</font> присутствует:<i> Решений нет</i><br>