В итоге нарисовалась таблица истинности, переложенная в тест:
Скрытый текст
PHP код:
CHIP[14] 'ИМ1'
POWER: -7* +14*
IN: 8(A1), 9(A2), 10(~A3), 11(~A4), 12(B1), 13(B2), 1(~B3), 2(~B4), 3(P1)
OUT: 5(S), 6(~S), 4(P2)
TEST: 0011:0011:0 => 010
TEST: 0011:1011:0 => 010
TEST: 0011:0111:0 => 010
TEST: 0011:1111:0 => 010
TEST: 0011:0001:0 => 100
TEST: 0011:1001:0 => 100
TEST: 0011:0101:0 => 100
TEST: 0011:1101:0 => 100
TEST: 0011:0010:0 => 010
TEST: 0011:1010:0 => 010
TEST: 0011:0110:0 => 010
TEST: 0011:1110:0 => 010
TEST: 0011:0000:0 => 100
TEST: 0011:1000:0 => 100
TEST: 0011:0100:0 => 100
TEST: 0011:1100:0 => 100
TEST: 1011:0011:0 => 010
TEST: 1011:1011:0 => 010
TEST: 1011:0111:0 => 100
TEST: 1011:1111:0 => 100
TEST: 1011:0001:0 => 100
TEST: 1011:1001:0 => 100
TEST: 1011:0101:0 => 100
TEST: 1011:1101:0 => 100
TEST: 1011:0010:0 => 010
TEST: 1011:1010:0 => 010
TEST: 1011:0110:0 => 100
TEST: 1011:1110:0 => 100
TEST: 1011:0000:0 => 100
TEST: 1011:1000:0 => 100
TEST: 1011:0100:0 => 100
TEST: 1011:1100:0 => 100
TEST: 0111:0011:0 => 010
TEST: 0111:1011:0 => 010
TEST: 0111:0111:0 => 010
TEST: 0111:1111:0 => 010
TEST: 0111:0001:0 => 100
TEST: 0111:1001:0 => 100
TEST: 0111:0101:0 => 100
TEST: 0111:1101:0 => 100
TEST: 0111:0010:0 => 010
TEST: 0111:1010:0 => 010
TEST: 0111:0110:0 => 010
TEST: 0111:1110:0 => 010
TEST: 0111:0000:0 => 100
TEST: 0111:1000:0 => 100
TEST: 0111:0100:0 => 100
TEST: 0111:1100:0 => 100
TEST: 1111:0011:0 => 100
TEST: 1111:1011:0 => 100
TEST: 1111:0111:0 => 011
TEST: 1111:1111:0 => 011
TEST: 1111:0001:0 => 011
TEST: 1111:1001:0 => 011
TEST: 1111:0101:0 => 011
TEST: 1111:1101:0 => 011
TEST: 1111:0010:0 => 100
TEST: 1111:1010:0 => 100
TEST: 1111:0110:0 => 011
TEST: 1111:1110:0 => 011
TEST: 1111:0000:0 => 011
TEST: 1111:1000:0 => 011
TEST: 1111:0100:0 => 011
TEST: 1111:1100:0 => 011
TEST: 0001:0011:0 => 100
TEST: 0001:1011:0 => 100
TEST: 0001:0111:0 => 100
TEST: 0001:1111:0 => 100
TEST: 0001:0001:0 => 011
TEST: 0001:1001:0 => 011
TEST: 0001:0101:0 => 011
TEST: 0001:1101:0 => 011
TEST: 0001:0010:0 => 100
TEST: 0001:1010:0 => 100
TEST: 0001:0110:0 => 100
TEST: 0001:1110:0 => 100
TEST: 0001:0000:0 => 011
TEST: 0001:1000:0 => 011
TEST: 0001:0100:0 => 011
TEST: 0001:1100:0 => 011
TEST: 1001:0011:0 => 100
TEST: 1001:1011:0 => 100
TEST: 1001:0111:0 => 011
TEST: 1001:1111:0 => 011
TEST: 1001:0001:0 => 011
TEST: 1001:1001:0 => 011
TEST: 1001:0101:0 => 011
TEST: 1001:1101:0 => 011
TEST: 1001:0010:0 => 100
TEST: 1001:1010:0 => 100
TEST: 1001:0110:0 => 011
TEST: 1001:1110:0 => 011
TEST: 1001:0000:0 => 011
TEST: 1001:1000:0 => 011
TEST: 1001:0100:0 => 011
TEST: 1001:1100:0 => 011
TEST: 0101:0011:0 => 100
TEST: 0101:1011:0 => 100
TEST: 0101:0111:0 => 100
TEST: 0101:1111:0 => 100
TEST: 0101:0001:0 => 011
TEST: 0101:1001:0 => 011
TEST: 0101:0101:0 => 011
TEST: 0101:1101:0 => 011
TEST: 0101:0010:0 => 100
TEST: 0101:1010:0 => 100
TEST: 0101:0110:0 => 100
TEST: 0101:1110:0 => 100
TEST: 0101:0000:0 => 011
TEST: 0101:1000:0 => 011
TEST: 0101:0100:0 => 011
TEST: 0101:1100:0 => 011
TEST: 1101:0011:0 => 100
TEST: 1101:1011:0 => 100
TEST: 1101:0111:0 => 011
TEST: 1101:1111:0 => 011
TEST: 1101:0001:0 => 011
TEST: 1101:1001:0 => 011
TEST: 1101:0101:0 => 011
TEST: 1101:1101:0 => 011
TEST: 1101:0010:0 => 100
TEST: 1101:1010:0 => 100
TEST: 1101:0110:0 => 011
TEST: 1101:1110:0 => 011
TEST: 1101:0000:0 => 011
TEST: 1101:1000:0 => 011
TEST: 1101:0100:0 => 011
TEST: 1101:1100:0 => 011
TEST: 0010:0011:0 => 010
TEST: 0010:1011:0 => 010
TEST: 0010:0111:0 => 010
TEST: 0010:1111:0 => 010
TEST: 0010:0001:0 => 100
TEST: 0010:1001:0 => 100
TEST: 0010:0101:0 => 100
TEST: 0010:1101:0 => 100
TEST: 0010:0010:0 => 010
TEST: 0010:1010:0 => 010
TEST: 0010:0110:0 => 010
TEST: 0010:1110:0 => 010
TEST: 0010:0000:0 => 100
TEST: 0010:1000:0 => 100
TEST: 0010:0100:0 => 100
TEST: 0010:1100:0 => 100
TEST: 1010:0011:0 => 010
TEST: 1010:1011:0 => 010
TEST: 1010:0111:0 => 100
TEST: 1010:1111:0 => 100
TEST: 1010:0001:0 => 100
TEST: 1010:1001:0 => 100
TEST: 1010:0101:0 => 100
TEST: 1010:1101:0 => 100
TEST: 1010:0010:0 => 010
TEST: 1010:1010:0 => 010
TEST: 1010:0110:0 => 100
TEST: 1010:1110:0 => 100
TEST: 1010:0000:0 => 100
TEST: 1010:1000:0 => 100
TEST: 1010:0100:0 => 100
TEST: 1010:1100:0 => 100
TEST: 0110:0011:0 => 010
TEST: 0110:1011:0 => 010
TEST: 0110:0111:0 => 010
TEST: 0110:1111:0 => 010
TEST: 0110:0001:0 => 100
TEST: 0110:1001:0 => 100
TEST: 0110:0101:0 => 100
TEST: 0110:1101:0 => 100
TEST: 0110:0010:0 => 010
TEST: 0110:1010:0 => 010
TEST: 0110:0110:0 => 010
TEST: 0110:1110:0 => 010
TEST: 0110:0000:0 => 100
TEST: 0110:1000:0 => 100
TEST: 0110:0100:0 => 100
TEST: 0110:1100:0 => 100
TEST: 1110:0011:0 => 100
TEST: 1110:1011:0 => 100
TEST: 1110:0111:0 => 011
TEST: 1110:1111:0 => 011
TEST: 1110:0001:0 => 011
TEST: 1110:1001:0 => 011
TEST: 1110:0101:0 => 011
TEST: 1110:1101:0 => 011
TEST: 1110:0010:0 => 100
TEST: 1110:1010:0 => 100
TEST: 1110:0110:0 => 011
TEST: 1110:1110:0 => 011
TEST: 1110:0000:0 => 011
TEST: 1110:1000:0 => 011
TEST: 1110:0100:0 => 011
TEST: 1110:1100:0 => 011
TEST: 0000:0011:0 => 100
TEST: 0000:1011:0 => 100
TEST: 0000:0111:0 => 100
TEST: 0000:1111:0 => 100
TEST: 0000:0001:0 => 011
TEST: 0000:1001:0 => 011
TEST: 0000:0101:0 => 011
TEST: 0000:1101:0 => 011
TEST: 0000:0010:0 => 100
TEST: 0000:1010:0 => 100
TEST: 0000:0110:0 => 100
TEST: 0000:1110:0 => 100
TEST: 0000:0000:0 => 011
TEST: 0000:1000:0 => 011
TEST: 0000:0100:0 => 011
TEST: 0000:1100:0 => 011
TEST: 1000:0011:0 => 100
TEST: 1000:1011:0 => 100
TEST: 1000:0111:0 => 011
TEST: 1000:1111:0 => 011
TEST: 1000:0001:0 => 011
TEST: 1000:1001:0 => 011
TEST: 1000:0101:0 => 011
TEST: 1000:1101:0 => 011
TEST: 1000:0010:0 => 100
TEST: 1000:1010:0 => 100
TEST: 1000:0110:0 => 011
TEST: 1000:1110:0 => 011
TEST: 1000:0000:0 => 011
TEST: 1000:1000:0 => 011
TEST: 1000:0100:0 => 011
TEST: 1000:1100:0 => 011
TEST: 0100:0011:0 => 100
TEST: 0100:1011:0 => 100
TEST: 0100:0111:0 => 100
TEST: 0100:1111:0 => 100
TEST: 0100:0001:0 => 011
TEST: 0100:1001:0 => 011
TEST: 0100:0101:0 => 011
TEST: 0100:1101:0 => 011
TEST: 0100:0010:0 => 100
TEST: 0100:1010:0 => 100
TEST: 0100:0110:0 => 100
TEST: 0100:1110:0 => 100
TEST: 0100:0000:0 => 011
TEST: 0100:1000:0 => 011
TEST: 0100:0100:0 => 011
TEST: 0100:1100:0 => 011
TEST: 1100:0011:0 => 100
TEST: 1100:1011:0 => 100
TEST: 1100:0111:0 => 011
TEST: 1100:1111:0 => 011
TEST: 1100:0001:0 => 011
TEST: 1100:1001:0 => 011
TEST: 1100:0101:0 => 011
TEST: 1100:1101:0 => 011
TEST: 1100:0010:0 => 100
TEST: 1100:1010:0 => 100
TEST: 1100:0110:0 => 011
TEST: 1100:1110:0 => 011
TEST: 1100:0000:0 => 011
TEST: 1100:1000:0 => 011
TEST: 1100:0100:0 => 011
TEST: 1100:1100:0 => 011
TEST: 0011:0011:1 => 100
TEST: 0011:1011:1 => 100
TEST: 0011:0111:1 => 100
TEST: 0011:1111:1 => 100
TEST: 0011:0001:1 => 011
TEST: 0011:1001:1 => 011
TEST: 0011:0101:1 => 011
TEST: 0011:1101:1 => 011
TEST: 0011:0010:1 => 100
TEST: 0011:1010:1 => 100
TEST: 0011:0110:1 => 100
TEST: 0011:1110:1 => 100
TEST: 0011:0000:1 => 011
TEST: 0011:1000:1 => 011
TEST: 0011:0100:1 => 011
TEST: 0011:1100:1 => 011
TEST: 1011:0011:1 => 100
TEST: 1011:1011:1 => 100
TEST: 1011:0111:1 => 011
TEST: 1011:1111:1 => 011
TEST: 1011:0001:1 => 011
TEST: 1011:1001:1 => 011
TEST: 1011:0101:1 => 011
TEST: 1011:1101:1 => 011
TEST: 1011:0010:1 => 100
TEST: 1011:1010:1 => 100
TEST: 1011:0110:1 => 011
TEST: 1011:1110:1 => 011
TEST: 1011:0000:1 => 011
TEST: 1011:1000:1 => 011
TEST: 1011:0100:1 => 011
TEST: 1011:1100:1 => 011
TEST: 0111:0011:1 => 100
TEST: 0111:1011:1 => 100
TEST: 0111:0111:1 => 100
TEST: 0111:1111:1 => 100
TEST: 0111:0001:1 => 011
TEST: 0111:1001:1 => 011
TEST: 0111:0101:1 => 011
TEST: 0111:1101:1 => 011
TEST: 0111:0010:1 => 100
TEST: 0111:1010:1 => 100
TEST: 0111:0110:1 => 100
TEST: 0111:1110:1 => 100
TEST: 0111:0000:1 => 011
TEST: 0111:1000:1 => 011
TEST: 0111:0100:1 => 011
TEST: 0111:1100:1 => 011
TEST: 1111:0011:1 => 011
TEST: 1111:1011:1 => 011
TEST: 1111:0111:1 => 101
TEST: 1111:1111:1 => 101
TEST: 1111:0001:1 => 101
TEST: 1111:1001:1 => 101
TEST: 1111:0101:1 => 101
TEST: 1111:1101:1 => 101
TEST: 1111:0010:1 => 011
TEST: 1111:1010:1 => 011
TEST: 1111:0110:1 => 101
TEST: 1111:1110:1 => 101
TEST: 1111:0000:1 => 101
TEST: 1111:1000:1 => 101
TEST: 1111:0100:1 => 101
TEST: 1111:1100:1 => 101
TEST: 0001:0011:1 => 011
TEST: 0001:1011:1 => 011
TEST: 0001:0111:1 => 011
TEST: 0001:1111:1 => 011
TEST: 0001:0001:1 => 101
TEST: 0001:1001:1 => 101
TEST: 0001:0101:1 => 101
TEST: 0001:1101:1 => 101
TEST: 0001:0010:1 => 011
TEST: 0001:1010:1 => 011
TEST: 0001:0110:1 => 011
TEST: 0001:1110:1 => 011
TEST: 0001:0000:1 => 101
TEST: 0001:1000:1 => 101
TEST: 0001:0100:1 => 101
TEST: 0001:1100:1 => 101
TEST: 1001:0011:1 => 011
TEST: 1001:1011:1 => 011
TEST: 1001:0111:1 => 101
TEST: 1001:1111:1 => 101
TEST: 1001:0001:1 => 101
TEST: 1001:1001:1 => 101
TEST: 1001:0101:1 => 101
TEST: 1001:1101:1 => 101
TEST: 1001:0010:1 => 011
TEST: 1001:1010:1 => 011
TEST: 1001:0110:1 => 101
TEST: 1001:1110:1 => 101
TEST: 1001:0000:1 => 101
TEST: 1001:1000:1 => 101
TEST: 1001:0100:1 => 101
TEST: 1001:1100:1 => 101
TEST: 0101:0011:1 => 011
TEST: 0101:1011:1 => 011
TEST: 0101:0111:1 => 011
TEST: 0101:1111:1 => 011
TEST: 0101:0001:1 => 101
TEST: 0101:1001:1 => 101
TEST: 0101:0101:1 => 101
TEST: 0101:1101:1 => 101
TEST: 0101:0010:1 => 011
TEST: 0101:1010:1 => 011
TEST: 0101:0110:1 => 011
TEST: 0101:1110:1 => 011
TEST: 0101:0000:1 => 101
TEST: 0101:1000:1 => 101
TEST: 0101:0100:1 => 101
TEST: 0101:1100:1 => 101
TEST: 1101:0011:1 => 011
TEST: 1101:1011:1 => 011
TEST: 1101:0111:1 => 101
TEST: 1101:1111:1 => 101
TEST: 1101:0001:1 => 101
TEST: 1101:1001:1 => 101
TEST: 1101:0101:1 => 101
TEST: 1101:1101:1 => 101
TEST: 1101:0010:1 => 011
TEST: 1101:1010:1 => 011
TEST: 1101:0110:1 => 101
TEST: 1101:1110:1 => 101
TEST: 1101:0000:1 => 101
TEST: 1101:1000:1 => 101
TEST: 1101:0100:1 => 101
TEST: 1101:1100:1 => 101
TEST: 0010:0011:1 => 100
TEST: 0010:1011:1 => 100
TEST: 0010:0111:1 => 100
TEST: 0010:1111:1 => 100
TEST: 0010:0001:1 => 011
TEST: 0010:1001:1 => 011
TEST: 0010:0101:1 => 011
TEST: 0010:1101:1 => 011
TEST: 0010:0010:1 => 100
TEST: 0010:1010:1 => 100
TEST: 0010:0110:1 => 100
TEST: 0010:1110:1 => 100
TEST: 0010:0000:1 => 011
TEST: 0010:1000:1 => 011
TEST: 0010:0100:1 => 011
TEST: 0010:1100:1 => 011
TEST: 1010:0011:1 => 100
TEST: 1010:1011:1 => 100
TEST: 1010:0111:1 => 011
TEST: 1010:1111:1 => 011
TEST: 1010:0001:1 => 011
TEST: 1010:1001:1 => 011
TEST: 1010:0101:1 => 011
TEST: 1010:1101:1 => 011
TEST: 1010:0010:1 => 100
TEST: 1010:1010:1 => 100
TEST: 1010:0110:1 => 011
TEST: 1010:1110:1 => 011
TEST: 1010:0000:1 => 011
TEST: 1010:1000:1 => 011
TEST: 1010:0100:1 => 011
TEST: 1010:1100:1 => 011
TEST: 0110:0011:1 => 100
TEST: 0110:1011:1 => 100
TEST: 0110:0111:1 => 100
TEST: 0110:1111:1 => 100
TEST: 0110:0001:1 => 011
TEST: 0110:1001:1 => 011
TEST: 0110:0101:1 => 011
TEST: 0110:1101:1 => 011
TEST: 0110:0010:1 => 100
TEST: 0110:1010:1 => 100
TEST: 0110:0110:1 => 100
TEST: 0110:1110:1 => 100
TEST: 0110:0000:1 => 011
TEST: 0110:1000:1 => 011
TEST: 0110:0100:1 => 011
TEST: 0110:1100:1 => 011
TEST: 1110:0011:1 => 011
TEST: 1110:1011:1 => 011
TEST: 1110:0111:1 => 101
TEST: 1110:1111:1 => 101
TEST: 1110:0001:1 => 101
TEST: 1110:1001:1 => 101
TEST: 1110:0101:1 => 101
TEST: 1110:1101:1 => 101
TEST: 1110:0010:1 => 011
TEST: 1110:1010:1 => 011
TEST: 1110:0110:1 => 101
TEST: 1110:1110:1 => 101
TEST: 1110:0000:1 => 101
TEST: 1110:1000:1 => 101
TEST: 1110:0100:1 => 101
TEST: 1110:1100:1 => 101
TEST: 0000:0011:1 => 011
TEST: 0000:1011:1 => 011
TEST: 0000:0111:1 => 011
TEST: 0000:1111:1 => 011
TEST: 0000:0001:1 => 101
TEST: 0000:1001:1 => 101
TEST: 0000:0101:1 => 101
TEST: 0000:1101:1 => 101
TEST: 0000:0010:1 => 011
TEST: 0000:1010:1 => 011
TEST: 0000:0110:1 => 011
TEST: 0000:1110:1 => 011
TEST: 0000:0000:1 => 101
TEST: 0000:1000:1 => 101
TEST: 0000:0100:1 => 101
TEST: 0000:1100:1 => 101
TEST: 1000:0011:1 => 011
TEST: 1000:1011:1 => 011
TEST: 1000:0111:1 => 101
TEST: 1000:1111:1 => 101
TEST: 1000:0001:1 => 101
TEST: 1000:1001:1 => 101
TEST: 1000:0101:1 => 101
TEST: 1000:1101:1 => 101
TEST: 1000:0010:1 => 011
TEST: 1000:1010:1 => 011
TEST: 1000:0110:1 => 101
TEST: 1000:1110:1 => 101
TEST: 1000:0000:1 => 101
TEST: 1000:1000:1 => 101
TEST: 1000:0100:1 => 101
TEST: 1000:1100:1 => 101
TEST: 0100:0011:1 => 011
TEST: 0100:1011:1 => 011
TEST: 0100:0111:1 => 011
TEST: 0100:1111:1 => 011
TEST: 0100:0001:1 => 101
TEST: 0100:1001:1 => 101
TEST: 0100:0101:1 => 101
TEST: 0100:1101:1 => 101
TEST: 0100:0010:1 => 011
TEST: 0100:1010:1 => 011
TEST: 0100:0110:1 => 011
TEST: 0100:1110:1 => 011
TEST: 0100:0000:1 => 101
TEST: 0100:1000:1 => 101
TEST: 0100:0100:1 => 101
TEST: 0100:1100:1 => 101
TEST: 1100:0011:1 => 011
TEST: 1100:1011:1 => 011
TEST: 1100:0111:1 => 101
TEST: 1100:1111:1 => 101
TEST: 1100:0001:1 => 101
TEST: 1100:1001:1 => 101
TEST: 1100:0101:1 => 101
TEST: 1100:1101:1 => 101
TEST: 1100:0010:1 => 011
TEST: 1100:1010:1 => 011
TEST: 1100:0110:1 => 101
TEST: 1100:1110:1 => 101
TEST: 1100:0000:1 => 101
TEST: 1100:1000:1 => 101
TEST: 1100:0100:1 => 101
TEST: 1100:1100:1 => 101
[свернуть]
Если всё верно, то из 512 проверок можно будет поубирать часть, так, чтобы участвовали все выводы.