|
ru.algorithms- RU.ALGORITHMS ---------------------------------------------------------------- From : Alex Kozhushko 2:5020/400 10 Jun 2003 18:01:12 To : Galayko Konstantyn Subject : Re: Уравнения в булевой алгебре ? -------------------------------------------------------------------------------- Добрый день, Константин! "Galayko Konstantyn" <irs@skif.net> wrote in message news:bc49d0$6ub$1@host.talk.ru... > > > > not x = x+1 > > GK> not x = 1-x > > > > А в Z_2 - это разве не одно и то же? Или чувству прекрасного противоречит? GK> Речь была о приведении к обычной алгебре, в которой не объяснишь, что not 1 GK> = 1+1 == 0 Поле - оно и в Африке поле. Z_2 гарантирует, что (совершенно случайно) не получим в качестве решения системы 2, 18, pi/2 или ещё какую-нибудь несуразицу. Уравнения-то в общем случае нелинейные получатся. С уважением, Алексей --- ifmail v.2.15dev5 * Origin: Demos online service (2:5020/400) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.algorithms/657751f522b8.html, оценка из 5, голосов 10
|