*** UNIX MANUAL PAGE BROWSER ***

QUINE(10.1) QUINE(10.1) NAME quine, cover, hazard - logic programs SYNOPSIS quine cover [ -s ] hazard [ -n ] ... DESCRIPTION Quine,cover, and hazard are programs that read the standard input and write the standard output, both in the format of minterm(10.5). Quine produces a Quine-McCluskey reduction of the input data. Cover does the covering problem, which is exponentially hard and may not fin- ish in reasonable time. Cover -s does not do the complete problem and goes 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.5), pal(10.1) FILES qtmpn and bsortn in the working directory for temporaries. UCDS QUINE(10.1)