The opts parameter is used to specify one or more additional properties of the Array. If a property is included in the calling sequence, it must be an equation of the form keyword = value. The permissible options are described in this section.

clauses=c

Specifies the number of clauses in the generated formula. The default is the size of the alphabet alpha.

form=fname

Specifies the form of boolean canonical formula to produce. Valid options are DNF (disjunctive normal form), CNF (conjunctive normal form), or MOD2 (arithmetic modulo 2). The default is DNF.

literals=l

Specifies the number of literals appearing in each clause. A literal in this context is either a symbol from the alphabet or the negation of such a symbol. The default is the size of the alphabet alpha.

The Random command returns a random Boolean expression using the symbols from alpha.

The Boolean expression returned is in a specific canonical form with respect to the symbols in alpha. By default, disjunctive normal form is used.

$\mathrm{with}\left(\mathrm{Logic}\right)\:$

$\mathrm{Random}\left(\left\{a\,b\right\}\right)$

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

$\mathrm{Random}\left(\left[X\,Y\,Z\right]\right)$

$\left(X\wedge Y\wedge Z\right)\vee \left(Y\wedge \left(\neg X\right)\wedge \left(\neg Z\right)\right)\vee \left(\left(\neg X\right)\wedge \left(\neg Y\right)\wedge \left(\neg Z\right)\right)$

$\mathrm{Random}\left(\left[a\,b\right]\,\mathrm{form}=\mathrm{CNF}\right)$

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

$\mathrm{Random}\left(\left[a\,b\,c\right]\,\mathrm{form}=\mathrm{CNF}\,\mathrm{clauses}=10\,\mathrm{literals}=3\right)$

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

$\mathrm{Random}\left(\left\{a\,b\,c\right\}\,\mathrm{form}=\mathrm{MOD2}\right)$

$abc+bc\left(a+1\right)+c\left(a+1\right)\left(b+1\right)$