Part of the Undergraduate Texts in Mathematics book series (UTM)
A Boolean homomorphism is a mapping f from a Boolean algebra B, say, to a Boolean algebra A,such that
$$ f(p \wedge q) = f(p) \wedge f(q), $$
$$ f(p \vee q) = f(p) \vee f(q), $$
whenever p and q are in B. In a somewhat loose but brief and suggestive phrase, a homomorphism is a structure-preserving mapping between Boolean algebras. A convenient synonym for “homomorphism from B to A” is “A-valued homomorphism on B”. Such expressions will be used most frequently in case A = 2.
$$ f(p') = (f(p))', $$
Unable to display preview. Download preview PDF.
© Springer-Verlag New York Inc. 1974