• DocumentCode
    2965210
  • Title

    Introduction To SN-Algebra. Identical Transformations Of Formulas

  • Author

    Kmet, Arkady B.

  • Author_Institution
    Phys. Inst., National Acedemy of Sci. of Ukraine, Lviv
  • Volume
    2
  • fYear
    2005
  • fDate
    28-30 Sept. 2005
  • Firstpage
    587
  • Lastpage
    592
  • Abstract
    The paper is dealing with a problem of identical transformations at SN-algebra. The task about identical transformations is formulated as follows. On the set of algebra operations the specifying of full system of identities is required, i.e. it is necessary to find somewhat the elementary subset of pairs of equal formulas realizing the same function and allowing by substitution of the found formulas of ones instead of others to get for any formula all formulas, which are equal to her
  • Keywords
    Boolean algebra; formal logic; SN-algebra; identical transformations; logic systems; multiple-valued logic; Absorption; Arithmetic; Boolean algebra; Boolean functions; Circuit synthesis; Logic circuits; Logic functions; Algebra; Identical transformatios; Logic systems; Multiple-valued logic;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Telecommunications in Modern Satellite, Cable and Broadcasting Services, 2005. 7th International Conference on
  • Conference_Location
    Nis
  • Print_ISBN
    0-7803-9164-0
  • Type

    conf

  • DOI
    10.1109/TELSKS.2005.1572182
  • Filename
    1572182
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2965210