Сколько различных решений имеет логическое уравнение? X1 → X2 → X3 → X4 → X5 → X6 = 1

Question

Сколько различных решений имеет логическое уравнение?
X1 → X2 → X3 → X4 → X5 → X6 = 1

Comments

1+ 2^1+2^3+2^5

---

аналитически легче, и вообще это ж информатика то должна быть программа

---

короче каждый решает так как ему удобнее, но я считаю составление таблицы истиности вручную напрасной тратой времени

Answer 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