The convert/and command converts a given list, set, or expression to an `and` form. Given expr as a list $\[a_1,a_2,a_3,...,a_n\]$, convert/and converts the list into the form $a_1\mathrm{and}{a}_2\mathrm{and}{a}_3\mathrm{...}\mathrm{and}{a}_n$. If the given list or set is empty, true is returned.

The convert/or command converts a given list or set to an `or` form. Given expr as a list $\[a_1,a_2,a_3,...,a_n\]$, convert/or converts the list into the form $a_1\mathrm{or}{a}_2\mathrm{or}{a}_3\mathrm{...}\mathrm{or}{a}_n$. If the given list or set is empty, false is returned.

The convert/xor command converts a given list or set to an `xor` form. Given expr as a list $\[a_1,a_2,a_3,...,a_n\]$, convert/xor converts the list into the form $a_1\mathrm{xor}{a}_2\mathrm{xor}{a}_3\mathrm{...}\mathrm{xor}{a}_n$. If the given list or set is empty, true is returned.

$\mathrm{convert}\left(\left[a\,b\,c\right]\,\mathrm{`and`}\right)$

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

$\mathrm{convert}\left(\left[\right]\,\mathrm{`and`}\right)$

$\mathrm{true}$

$\mathrm{convert}\left(a\Rightarrow b\,\mathrm{`and`}\right)$

$a\mathbf{and}b$

$\mathrm{convert}\left(a\mathbf{or}b\,\mathrm{`and`}\right)$

$a\mathbf{and}b$

$\mathrm{convert}\left(f\left(a\,b\right)\,\mathrm{`and`}\right)$

$a\mathbf{and}b$

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

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

$\mathrm{convert}\left(\left\{a\,b\,c\right\}\,\mathrm{`or`}\right)$

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

$\mathrm{convert}\left(\left[\right]\,\mathrm{`or`}\right)$

$\mathrm{false}$

$\mathrm{convert}\left(\left\{a\,b\,c\right\}\,\mathrm{`xor`}\right)$

$a\mathbf{xor}b\mathbf{xor}c$

$\mathrm{convert}\left(\left[\right]\,\mathrm{`xor`}\right)$

$\mathrm{true}$