Сумматор на логике

можно ли на голой логике (not, and, or, xor, nor, nand) и присваивании (mov) сделать перенос влево?

Пусть имеется три входа {0,1,2} и три выхода {0,1,2}.

Присвоим выходу 0 значение входа 1. Присвоим выходу 1 значение входа 2. Присвоим выходу 2 значение 0.

можно ли на голой логике (not, and, or, xor, nor, nand) и присваивании (mov) сделать перенос влево

Схема на основе блока ускоренного переноса не может спасти «гиганта мысли»?

Не канает, если у нас простое присваивание без битовых операций: не A[3] = A[4] а A = 0xFF34B122.

Там тоже нужны переносы при реализации не на железе, а программно.

Вот схема последовательного, которая у меня намечается.

# A + B

Over = 0;
TempRes = 0;

T1 = A;
T2 = B;
T1 &= 0x00000001;
T2 &= 0x00000001;
TempRes |= SUM1Bit(T1, T2 /* in */, Over /* out */);

T1 = A;
T2 = B;
T1 &= 0x00000002;
T2 &= 0x00000002;
TempRes |= SUM1Bit(T1, T2 /* in */, Over /* out */);

T1 = A;
T2 = B;
T1 &= 0x00000004;
T2 &= 0x00000004;
TempRes |= SUM1Bit(T1, T2 /* in */, Over /* out */);

// ...

T1 = A;
T2 = B;
T1 &= 0x80000000;
T2 &= 0x80000000;
TempRes |= SUM1Bit(T1, T2 /* in */, Over /* out */);

return TempRes;

Не канает, если у нас простое присваивание без битовых операций

(X or 0) в наличии? Значит, A[3] = A[4] проканает. Или я не совсем врубился в суть схемы.

Эм... Как-то не въехал. OR, NOT, AND, XOR, NAND реализованы из начальных NOR и MOV. Как вы предлагаете перенести разряд, если все битовые операции работают только со своим битом? Вот как здесь: Сумматор на логике (комментарий) описать сможете?

Как вы предлагаете перенести разряд, если все битовые операции работают только со своим битом?

А как же SUM1Bit(T1, T2... в коде выше ? Очевидно, это нечто должно работать не с одним битом, а с двумя входными битами. И уметь выдавать результат в другой произвольный бит. Этого достаточно, чтобы перекинуть данные из одного бита в другой.

A => B: B = SUM1Bit(A,0)

Очевидно, это нечто должно работать не с одним битом, а с двумя входными битами.

показываю, как оно должно работать по задумке:

# Пишу 8 разрядов, включите воображение, их там 32

A: 0b00000010
B: 0b00000010
Q: 0b00000000
R: 0b00000100 // в другой разряд

A: 0b00100000
B: 0b00000000
Q: 0b00100000
R: 0b00000000

Как оно работает сейчас:

# Пишу 8 разрядов, включите воображение, их там 32

A: 0b00000010
B: 0b00000010
Q: 0b00000000
R: 0b00000010 // Тот же разряд :(

A: 0b00100000
B: 0b00000000
Q: 0b00100000
R: 0b00000000

Да я понял. Я предлагаю забыть на время о мультибитном сумматоре и решить проблему битового сдвига. Если

Однобитный сумматор трудностей не представил

То, очевидно, моя схема в предыдущем посте позволит реализовать сдвиг. Если нет, то я тут уже ничем не помогу — отсутствие по условию задачи возможности копирования значения одного бита в другой кажется мне достаточно странным. Чисто физически непонятно, почему я не могу соединить проводниками пары входов и выходов, чтобы получить элементарный сдвиг.

Если нет, то я тут уже ничем не помогу

Очень жаль. Я, собственно, так и понял, что тут без сдвига не обойтись, ибо каждый логический оператор работает только со своим битом и никак не трогает соседние.

Чисто физически непонятно, почему я не могу соединить проводниками пары входов и выходов, чтобы получить элементарный сдвиг.

Просто мне хотелось сделать тьюринг полноту как можно меньшим количеством исходных параметров. Раньше было два - mov и nor, теперь придется, наверное, делать три: mov, nor и shl.

Не благодари - http://rain.ifmo.ru/cat/view.php/theory/math/summators-2004

Тред не читай @ Покажи себя умным