Сколько различных решений имеет логическое уравнение?

X1 → X2 → X3 → X4 → X5 → X6 = 1

Def implementetion (a, b)

a=to_bool (a)

b=to_bool (b)

return (not a or b)

end

def to_bool (s)

if s==true or s==false

return s

end

return s. to_i==0? false : true

end

k=0

for bin in 0 ... "111111". to_i (2)

s = ("000000"+bin. to_s (2)) [-6 ... - 1]

r=implementetion (implementetion (implementetion (implementetion (implementetion (s[0], s[1]), s[2]), s[3]), s[4]), s[5])

if r then

k+=1

p [s]

end

end

p k

p 1 + 2 + 2**3+2**5