Двойной сумматор

a = (input('Введите первое двоичное число :'))
b = (input('Введите второе двоичное число :'))
p0 = 0 #перенос из прошлого разряда
if (len(a) > len(b)): #добавляем нули,если количество разрядов в а больше,чем в b
    b = '0'*(len(a) - len(b)) + b
else:
    a = '0'*(len(b) - len(a)) + a #и иначе
a = list(reversed(a))
b = list(reversed(b))
c = list('')
for i in range(len(a)):
    if(int(a[i]) + int(b[i]) == 2 and p0 == 0):
        c.insert(i, 0)
        p0 += 1
    elif (int(a[i]) + int(b[i]) == 2 and p0 == 1):
        c.insert(i, 1)
        c.insert(i+1, 1)
        p0 -= 1
        i = i + 2
    elif (int(a[i]) + int(b[i]) == 1 and p0 == 0):
        c.insert(i, 1)
    elif (int(a[i]) + int(b[i]) == 1 and p0 == 1):
        c.insert(i, 0)
        p0 -= 1
    elif (int(a[i]) + int(b[i]) == 0 and p0 == 0):
        c.insert(i, 0)
    elif (int(a[i]) + int(b[i]) == 0 and p0 == 1):
        c.insert(i, 1)
        p0 -= 1
k = len(a)
if (p0 == 1):
    c.insert(k, 1)
c = list(reversed(c))
print(c)

>>> list(range(0,10,2))  # шаг - 2
[0, 2, 4, 6, 8]
>>>

a = (input('Введите первое двоичное число: '))
b = (input('Введите первое двоичное число: '))
p = 0 #перенос из прошлого разряда
s = 0
M = ''
if (len(a) > len(b)): #добавляем нули,если количество разрядов в а больше,чем в b
    b = '0' * (len(a) - len(b)) + b
else:
    a = '0' * (len(b) - len(a)) + a #и иначе
a = int(a)
b = int(b)
while (a > 0):
    l = ''
    x = int(a) % 10 #выделяем разряд
    y = int(b) % 10 #выделяем разряд
    s = x + y + p #считаем сумму разрядов и перенос из прошлого разряда
    if (x == 1 and y == 1):#если равны,то считаем,что перенос равен 1
        p = 1 
    else :#иначе
        p = 0
    if (s == 2):#так как сумма по модуля равна 2,то в строку будем записывать 0,а перенос берем за 1
        s = 0
        p = 1
    if (s == 3):#сумма по модулю и перенос дает 3,из чего следует,что в строку записываем 1 и перенос берем за 1
        s = 1
        p = 1 
    a =int(a/10) #отсекаем разряд
    b =int(b/10) #отсекаем разряд
    if (s == 0): #записываем в строку полученную сумму разряда от каждой итерации
        l = l + '0'
    if (s == 1):
        l = l + str(s)
    M =l + M #итоговая строка
if p==1:#если перенос из прошлого разряда остался равен 1,то вписываем в строку
    M = "1" + M
print(M)