{"title":"表示多值函数的逻辑非多项式形式","authors":"E. Zaitseva, T. Kalganova, E. Kochergov","doi":"10.1109/ISMVL.1996.508378","DOIUrl":null,"url":null,"abstract":"The synthesis of logical not polynomial forms to represent completely and incompletely defined multiple-valued logic functions is proposed. To compute these forms, discrete orthogonal transforms are used. The matrix and vector procedures are the foundation of the logic not polynomial form synthesis to represent multiple -valued functions. The main advantage of this forms is the possibility to investigate the properties of multiple-valued logical functions and to use the implementation of fast discrete orthogonal transforms for computation of analytical description coefficients. Genetic algorithms are applied to synthesize incompletely defined multiple valued functions.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"115 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Logical not polynomial forms to represent multiple-valued functions\",\"authors\":\"E. Zaitseva, T. Kalganova, E. Kochergov\",\"doi\":\"10.1109/ISMVL.1996.508378\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The synthesis of logical not polynomial forms to represent completely and incompletely defined multiple-valued logic functions is proposed. To compute these forms, discrete orthogonal transforms are used. The matrix and vector procedures are the foundation of the logic not polynomial form synthesis to represent multiple -valued functions. The main advantage of this forms is the possibility to investigate the properties of multiple-valued logical functions and to use the implementation of fast discrete orthogonal transforms for computation of analytical description coefficients. Genetic algorithms are applied to synthesize incompletely defined multiple valued functions.\",\"PeriodicalId\":403347,\"journal\":{\"name\":\"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)\",\"volume\":\"115 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-01-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.1996.508378\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.1996.508378","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Logical not polynomial forms to represent multiple-valued functions
The synthesis of logical not polynomial forms to represent completely and incompletely defined multiple-valued logic functions is proposed. To compute these forms, discrete orthogonal transforms are used. The matrix and vector procedures are the foundation of the logic not polynomial form synthesis to represent multiple -valued functions. The main advantage of this forms is the possibility to investigate the properties of multiple-valued logical functions and to use the implementation of fast discrete orthogonal transforms for computation of analytical description coefficients. Genetic algorithms are applied to synthesize incompletely defined multiple valued functions.