QUINE(10.1) QUINE(10.1)
NAME
quine, cover, hazard - logic programs
SYNOPSIS
cda/quine
cda/cover [ -s ]
cda/hazard [ -n ] ...
DESCRIPTION
Quine, cover, and hazard read the standard input and write
the standard output, both in the format of minterm(10.6).
Quine produces a Quine-McCluskey reduction of the input
data.
Cover does the covering problem, which is exponentially hard
and may not finish in reasonable time. The -s option causes
cover to not do the complete problem and go faster.
Hazard adds terms to eliminate internal hazards that can
occur in PAL's and PLA's. The hazard can occur when the form
of the equations is (a&x) | (b& !x). When a and b are both
true a glitch may appear on the output when x is changed.
Hazard eliminates it by adding another term (a&b). If there
are any -n option flags for hazard, only those outputs whose
symbols are in the set of n 's will be modified by hazard,
otherwise all outputs are (possibly) modified.
SEE ALSO
lde(10.1), minterm(10.6), xpal(10.1)
FILES
qtmpn and bsortn in the working directory for temporaries.
Page 1 Plan 9 (printed 12/21/24)