Could you expand on that? I don't really understand how you could simplify if/else logic by using this which is a bijection from one binary counting system to another.
Made a tiny webapp to do this, which lets you hover over the different parts of the resulting expression, to see which parts of the karnaugh map they cover: https://github.com/ysangkok/py-kmap