{"title":"Introduction To SN-Algebra. Identical Transformations Of Formulas","authors":"A. Kmet","doi":"10.1109/TELSKS.2005.1572182","DOIUrl":null,"url":null,"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","PeriodicalId":422115,"journal":{"name":"TELSIKS 2005 - 2005 uth International Conference on Telecommunication in ModernSatellite, Cable and Broadcasting Services","volume":"41 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"TELSIKS 2005 - 2005 uth International Conference on Telecommunication in ModernSatellite, Cable and Broadcasting Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TELSKS.2005.1572182","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
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
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
