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.