Изменения

XOR-SAT

95 байт добавлено, 16:59, 7 января 2017

→‎Пример

|}

</center>

!Используя свойства Булевых [[Определение кольца, подкольца, изоморфизмы колец |колец]]

(<tex>\neg x=1 \oplus x</tex>, <tex>x \oplus x=1</tex>),<br>

избавимся от отрицаний в нашей системе

62

правки