Return to quine.10 CVS log

Up to [Research Unix] / researchv10dc / man / man10

Annotation of researchv10dc/man/man10/quine.10, revision 1.1.1.1

1.1       root        1: .TH QUINE 10.1 UCDS
                      2: .SH NAME
                      3: quine, cover, hazard \- logic programs
                      4: .SH SYNOPSIS
                      5: .B quine
                      6: .br
                      7: .B cover
                      8: [
                      9: .B -s
                     10: ]
                     11: .br
                     12: .B hazard
                     13: [
                     14: .BI - n
                     15: ] ...
                     16: .SH DESCRIPTION
                     17: .IR Quine , cover ,
                     18: and
                     19: .I hazard
                     20: are programs that read the standard input and write the standard
                     21: output, both in the format of
                     22: .IR minterm (10.5).
                     23: .PP
                     24: .I Quine
                     25: produces a Quine-McCluskey reduction of the input data.
                     26: .I Cover
                     27: does the covering problem, which is exponentially hard
                     28: and may not finish in reasonable time.
                     29: .B Cover -s
                     30: does not do the complete problem and goes faster.
                     31: .I Hazard
                     32: adds terms to eliminate internal hazards that can occur
                     33: in PAL's and PLA's. The hazard can occur when the form of the
                     34: equations is
                     35: .RI ( a & x )
                     36: |
                     37: .RI ( b &
                     38: .RI ! x ).
                     39: When
                     40: .I a
                     41: and
                     42: .I b
                     43: are both true
                     44: a glitch may appear on the output when
                     45: .I x
                     46: is changed.
                     47: .I Hazard
                     48: eliminates it by
                     49: adding another term
                     50: .RI ( a & b ).
                     51: If there are any
                     52: .BI - n
                     53: option flags for
                     54: .IR hazard ,
                     55: only those outputs whose symbols are in the set of
                     56: .IR n 's
                     57: will be modified by hazard, otherwise all outputs are
                     58: (possibly) modified.
                     59: .SH SEE ALSO
                     60: .IR lde (10.1),
                     61: .IR minterm (10.5),
                     62: .IR pal (10.1)
                     63: .SH FILES
                     64: .BI qtmp n
                     65: and
                     66: .BI bsort n
                     67: in the working directory for temporaries.

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.