A double-iteration property of Boolean functions.
Carl Lyngholm, Wolfgang Yourgrau · Notre Dame Journal of Formal Logic · 1960
It is the object of this paper to furnish a proof of a theorem /(*) = /(/(/(*)», which is derivable from the fundamental equation for the expansion of a Boolean function of one variable: f W = (f U) n x) u