Сколько различных решений имеет логическое уравнение? 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