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     ! 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.