A Mixed Boolean-Arithmetic expression (or MBA) is any expression composed of integer arithmetic operators, e.g. (+,−,∗) and bitwise operators, e.g. (∧,∨,⊕,¬). For example (x⊕y)+2∗(x∧y)

MBA can be used in obfuscation. For example, x + y is equivalent to (x⊕y)+2∗(x∧y), but it’s very hard to simplify the formula