Arteriosclerosi a parte credo che in algebra booleana sarebbe perfettamente definibile la soluzione ogni scatola è uno zero o un uno e con gli opreratori di implicazione si può definire i vari passaggi.