A function within Wolfram Language for converting between different types of boolean expressions.
Lex Fridman