Abstract: The local function of a cellular automaton with binary states can be expressed by a formula in propositional logic. The inverse function of a local function of any reversible cellular ...