• DocumentCode
    1138108
  • Title

    Meet and Join Derivatives and Their Use in Switching Theory

  • Author

    Thayse, André

  • Author_Institution
    MBLE Research Laboratory
  • Issue
    8
  • fYear
    1978
  • Firstpage
    713
  • Lastpage
    720
  • Abstract
    The theoretical concepts of meet and join derivatives and extended vector of Boolean functions are defined. These concepts give rise to new methods (using the Kronecker matrix product) for prime implicant and prime implicate extraction. An extensive comparison between meet and join derivatives and the consensus theory is made.
  • Keywords
    Boolean functions; consensus theory; extended vectors; meet and join derivatives; prime implicants and prime implicates; Boolean functions; Lattices; Boolean functions; consensus theory; extended vectors; meet and join derivatives; prime implicants and prime implicates;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

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