The convert(expr, boolean_function) command converts, in a given expression, all boolean statements constructed using the operators {and, or, xor, implies, not} into equivalent boolean function constructions using the functions {And, Or, Not}. If the given expression contains no such boolean operators, it is returned unchanged. To perform the opposite conversion, that is, from the functions {And, Or, Xor, Implies, Not} to the corresponding boolean operators {and, or, xor, implies, not}, see convert,boolean_operator.

To restrict the application of the conversion to boolean operators of only certain type, for instance only to `and` operators, give the name of these operators, surrounded by `` after the keyword boolean_function - see the Examples.

The conversion of boolean statements constructed with operators into boolean statements constructed with functions is of use, among others things, for:

- avoiding the automatic simplification which happens with boolean operators;

- allowing the read of the boolean statement with the ordering of execution and precedence of the operations made explicit with parenthesis.

$a\mathbf{and}b$

$a\mathbf{and}b$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\right)$

$a\wedge b$

$a\mathbf{or}b$

$a\mathbf{or}b$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\right)$

$a\vee b$

$a\mathbf{or}b\mathbf{and}c$

$a\mathbf{or}b\mathbf{and}c$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\right)$

$a\vee \left(b\wedge c\right)$

$\mathrm{convert}\left(\,\mathrm{boolean\_operator}\right)$

$a\mathbf{or}b\mathbf{and}c$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\,\mathrm{`and`}\right)$

$a\mathbf{or}b\wedge c$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\,\mathrm{`or`}\right)$

$a\vee b\mathbf{and}c$

$a\mathbf{xor}b$

$a\mathbf{xor}b$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\right)$

$\left(a\wedge \neg b\right)\vee \left(\neg a\wedge b\right)$

$a\Rightarrow b$

$a\Rightarrow b$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\right)$

$\neg a\vee b$

$z\ne 0\mathbf{and}\left(b-2a-2=0\mathbf{or}b-2a=0\right)$

$\mathrm{false}$

$\mathrm{convert}\left('z\ne 0\mathbf{and}\left(b-2a-2=0\mathbf{or}b-2a=0\right)'\,\mathrm{boolean\_function}\right)$

$z\ne 0\wedge \left(b-2a-2=0\vee b-2a=0\right)$

$a\mathbf{and}b\mathbf{or}c\mathbf{and}d\mathbf{or}e$

$a\mathbf{and}b\mathbf{or}c\mathbf{and}d\mathbf{or}e$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\right)$

$\left(a\wedge b\right)\vee \left(c\wedge d\right)\vee e$

$a\mathbf{xor}b\Rightarrow c\mathbf{and}d$

$a\mathbf{xor}b\Rightarrow c\mathbf{and}d$

$\mathrm{convert}\left(\,\mathrm{boolean\_function}\right)$

$\neg \left(\left(a\wedge \neg b\right)\vee \left(\neg a\wedge b\right)\right)\vee \left(c\wedge d\right)$

$\mathrm{convert}\left(\,\mathrm{boolean\_operator}\right)$

$\mathbf{not}\left(a\mathbf{and}\mathbf{not}b\mathbf{or}\mathbf{not}a\mathbf{and}b\right)\mathbf{or}c\mathbf{and}d$