Изменения

Перейти к: навигация, поиск

XOR-SAT

16 байт убрано, 13:55, 7 января 2017
Пример решения XORSAT
(<font color='red'>Красные пункты</font> не являются обязательными)<br>
<b>Пример</b><br>
{| class="wikitable"!<tex>(a \oplus b \oplus c) \land (b \oplus \neg c \oplus d) \land (a \oplus b \oplus \neg d) \land (a \oplus \neg b \oplus \neg c)</tex>! style="background: #ffdddd;" |<font color='red'tex>\land (¬a⊕b⊕c\neg a \oplus b \oplus c)</fonttex>|}
{| class="wikitable"
|+
|+
!colspan="2"|Система уравнений
|-align="center"
!("<tex>1</tex>" означает «<tex> \mathtt {true}</tex>», "<tex>0</tex>" означает «<tex> \mathtt {false}</tex>»)
Каждый конъюнкт ведет к одному уравнению.
|
|-align="center"
!Переменные
|}
</center>
!дадддддддддддддддддддддддддд("<tex>1</tex>" означает «<tex> \mathtt {true}</tex>», "<tex>0</tex>" означает «<tex> \mathtt {false}</tex>»)Каждый конъюнкт ведет к одному уравнению.
|-align="center"
!
62
правки

Навигация