Example of output: https://github.com/seekbytes/pocket#example
Mixed Boolean Arithmetic refers to expressions which include boolean, and arithmetic operations (AND, OR, XOR, PLUS, MINUS, MULTIPLY..). Let an expression be something like A + B. My tool applies some transformations to re-write this expression in more complex terms (such as ((A & B) + (A | B))).
Let me know if you have any questions!