• ���

    From Andrej Arnold@2:5020/830.590 to All on Thu Jun 5 13:33:00 2025
    ��p�����, All!

    -----
    � 41.ECHO (2:5012/1) ������������������������������������������������� 41.ECHO �
    From : Alex Glebov 2:5020/265 Sun 11 Dec 94 14:58
    To : Igor Eriomin Sun 11 Dec 94 12:49
    Subj : "��� ��筮, ���" ��������������������������������������������������������������������������������
    ���� ���p� Igor!

    �㡡�� ������� 10 1994 18:21, Igor Eriomin ��ᠫ � Igor Ustinov:

    Saturday December 10 1994 14:58, Igor Ustinov wrote to All:

    �p�������� p������p (c) ��p�c��, �.�.H.�.
    � ��-���y�� ��y頥�, ��祬y c ��p�室�� �� ��pc������ y��p�� ⠪��
    ��⥣p��쭠� �p���p�c⨪�, ��� ��./c��.?
    1. X = _X:
    2. X * Y = _X_Y:
    3. X v Y = _X:Y:
    4. X * Y v ~X * ~Y = :X_Y:
    5. X * Y * Z v ~X * ~Y * ~Z = :X_Y_Z:
    6. X*(YvZ) v Y*Z v ~X*~Y*~Z = :X_Y:Z:

    ^^^^^^^^^^^^^^^^^^^^^^^^ - �㬠� ��� �������, * - �����᪮� "�", v
    -
    �����᪮� "���", ~ - ���� ��p�栭��... � ��� �p��� - �������HH��
    ������ ��H���� ������� ������...

    ����� ���� ���p�ᥭ �㤥� �p��樯 ����� ����� �p���, ����
    p��᪠����...

    ���p�� - ���p��� �p�������� �����. ����� �룮��� 㩤�� � ��⬠� ;-) ⥬ �����
    �� �� �����:

    ... � ��� �p������ �� ������ � ��᪠���쭮...

    � 㢠������, Alex
    -----

    ��-����� �� 30 ��� � �ਭ樯� ࠧ��ࠫ��?



    ��.
    � 㦥 ��ᠫ �����-� � ���� ��:

    P0(_X1_X2_) p0 = (_ _ _) = (000) "FALSE"
    P1(_X1_X2:) p1 = (_ _ :) = (001) "AND"
    P2(_X1:X2_) p2 = (_ : _) = (010) "XOR"
    P3(_X1:X2:) p3 = (_ : :) = (011) "OR"
    P4(:X1_X2_) p4 = (: _ _) = (100) "NOR"
    P5(:X1_X2:) p5 = (: _ :) = (101) "EQ" (XNOR)
    P6(:X1:X2_) p6 = (: : _) = (110) "NAND"
    P7(:X1:X2:) p7 = (: : :) = (111) "TRUE"

    � ��� � ���� ࠡ����.

    H� ��祬�, ���ਬ��, 010 �� ������ XOR, � 001 �� ������ a^b (AND) ?
    � ��� ��������� 5 � 6 ��ப� � �ਬ�� ����� (������� 1001 � 1011),
    ��� �� �� ��� ������ �� �� 㤠����.
    �祭� ����, �� ��� ⮣�� �� �த������ ���㦤����.


    � 㢠������ - Andrej
    --- Good luck!
    * Origin: ��� � ����� �� ��� �����? (2:5020/830.590)