Show HN: Obfuscation Tool for Mixed Boolean Arithmetic Expressions

Since you're not increasing the number of variables, it seems to me that the problem of finding the initial Boolean formula (or an even simpler version of it) is fairly straightforward. Have you done any tests along these lines?

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!