Mutaben - Mixed Boolean Arithmetic Generator Work in progress MBA expression are defined as the mixture usage of bitwise operations (∨, ∧, ⊕, ¬) and integer arithmetic operations(+, −,×).