import hashlib
m = hashlib.sha256()
m.update(bytes("Радионов Михаил Леонидович HW3", "UTF-8"))
b = bin(int.from_bytes(m.digest(), "big"))[2:].zfill(256)
print("bit-string:")
print(b)

print()
a = []
print("\t32bitslices")
for i in range(1, 8 + 1):
    print(b[32 * (i - 1): 32*i])
    a.append(int('0b' + b[32 * (i - 1): 32*i], 2))

b = a[0]
for i in range(1, len(a)):
    b ^= a[i]

print()
print("\tXOR'ed all slices")
print(bin(b)[2:])
print()

b = bin(b)[2:]

while len(b) != 32:
    b = '0' + b

height = ['00', '01', '11', '10']
lines = ['000', '001', '011', '010', '110', '111', '101', '100']

print("\t\tThe Karnaugh map")

print("     ", end="")
for line in lines:
    print(line, end="  ")
print()
print("    " + "-" * 40)
for h in height:
    print(f"{h}|", end="   ")
    for line in lines:
        i = '0b' + h + line
        print(b[int(i, 2)], end='    ')
    print()