|
Logic[Random] - construct a random Boolean function
|
|
Calling Sequence
|
|
Random(alpha, opt)
|
|
|
Parameters
|
|
|
alpha
|
-
|
list or set of symbols representing the alphabet
|
|
opt
|
-
|
(optional) equation of the form form=fname, where fname is one of CNF, DNF, or MOD2.
|
|
|
|
|
|
Description
|
|
|
•
|
The Random command returns a random Boolean expression in a specific canonical form. By default, disjunctive normal form is used. The Boolean expression returned is in normal form with respect to the symbols in alpha.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
![Random([a, b, c], form = DNF)](/support/helpjp/helpview.aspx?si=4746/file02088/math80.png)
|
|
| (2) |
|
>
|
![Random([a, b], form = CNF)](/support/helpjp/helpview.aspx?si=4746/file02088/math87.png)
|
|
| (3) |
|
>
|
|
|
| (4) |
|
|
