Изменения

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

XOR-SAT

33 байта добавлено, 10:46, 5 января 2017
Решение XOR-SAT задачи методом Гаусса
!colspan="5"|Система уравнений
|-align="center"
!("<tex>1</tex>" означает «Истина»«<tex> \mathtt {true}</tex>», "<tex>0</tex>" означает «Ложь»«<tex> \mathtt {false}</tex>»)
Каждый конъюнкт ведет к одному уравнению.
|
62
правки

Навигация