The Random item (menu File) opens a dialog for generating a
random function. Six fields may be filled:
- the number of variables,
- an upper bound for the number of terms,
- the minimum degree (number of literals) of each term,
- a specification of uniform (or homogeneous) quality,
- the positiveness (or not) of the function and
- the conjunctive (or disjunctive) characteristic of the normal form.