boolean multiplication is well-defined: it is multiplication mod 2, which is exactly the AND operator.