• DocumentCode
    1139028
  • Title

    Comments on "Computing Irredundant Normal Forms from Abbreviated Presence Functions"

  • Author

    Cutler, Robert B. ; Muroga, Saburo

  • Author_Institution
    Department of Computer Science, University of Illinois
  • Issue
    11
  • fYear
    1979
  • Firstpage
    874
  • Lastpage
    875
  • Abstract
    A theorem about conditionally eliminable prime implicants presented by Chang and Mott1is shown to be incorrect by counterexample.
  • Keywords
    Boolean algebra; covering problem; implication relations; minimal sum; presence function; prime implicants; Algebra; Computer science; Electrons; Sufficient conditions; Boolean algebra; covering problem; implication relations; minimal sum; presence function; prime implicants;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1979.1675270
  • Filename
    1675270
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1139028