Hello, Andrey! You wrote to Alex Kouznetsov on Tue, 03 May 2005 17:33:12 +0400:
AA> S12 = 100 = или-не AA> S22 = 010 = сложение по модулю два AA> S32 = 110 = и-не AA> S42 = 001 = и AA> S52 = 101 = эквивалентность AA> S62 = 011 = или Интересно... а где об этом можно прочитать подробнее?
AA> Для тех кто не понял, старшие разряды тут расположены по-человечески AA> - то бишь с нарастанием по часовой стрелке. AA> Hу а S02 и S72 могут сделать картину для желающих полной. AA> (2 - число переменных) А S02 и S72 - это соответственно "константа 0" и "константа 1" ?
AA> Теперь допустим, требуется вычислить
AA> ((X1 эквивалентность X2 ) или (X1 и X2)) <skipped>
AA> то бишь в соответствующую позицию подставляется результат AA> из разряда, номер которого мы вычислили при суммировании. AA> (Ещё раз напоминаю, нулевой разряд самый левый) Ух ты! И впрямь работает. А как быть с отрицаниями? Отрицание - это функция одной переменной? Для функций одной переменной получается: S11 = 10 - отрицание S21 = 01 - повторение Так, что ли?
With best regards, Serg.