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.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2965210
بازگشت