{"title":"多值Kleenean函数与三元输入多值输出函数之间的一些关系","authors":"Y. Hata, K. Nakashima, K. Yamato","doi":"10.1109/ISMVL.1990.122656","DOIUrl":null,"url":null,"abstract":"The multiple-valued Kleenean functions discussed are multiple-valued-logic functions represented by multiple-valued AND, OR, NOT, constants, and variables. First, when p=odd, ternary input p-valued output functions (or (3, p)-functions for short) are defined, and when p=even, ternary input (p+1)-valued output functions ((3, p+1)-functions for short) are defined by adding the value (p-1)/2. A derivation rule is proposed as a link between (3, p)-functions (or (3, p+1)-functions and p-valued (or (p+1)-valued) Kleenean functions. For p=odd, the mapping from monotonic (3,p)-functions to p-valued Kleenean functions is a bijection. For p=even, since the mapping from monotonic (3, p+1)-functions to p-valued Kleenean functions is not a bijection, a condition which makes the mapping a bijection is developed. Moreover, Kleenean functions with no constants are derived from B-ternary logic functions by the rule; then the mapping is a bijection.<<ETX>>","PeriodicalId":433001,"journal":{"name":"Proceedings of the Twentieth International Symposium on Multiple-Valued Logic","volume":"106 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Some relationships between multiple-valued Kleenean functions and ternary input multiple-valued output functions\",\"authors\":\"Y. Hata, K. Nakashima, K. Yamato\",\"doi\":\"10.1109/ISMVL.1990.122656\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The multiple-valued Kleenean functions discussed are multiple-valued-logic functions represented by multiple-valued AND, OR, NOT, constants, and variables. First, when p=odd, ternary input p-valued output functions (or (3, p)-functions for short) are defined, and when p=even, ternary input (p+1)-valued output functions ((3, p+1)-functions for short) are defined by adding the value (p-1)/2. A derivation rule is proposed as a link between (3, p)-functions (or (3, p+1)-functions and p-valued (or (p+1)-valued) Kleenean functions. For p=odd, the mapping from monotonic (3,p)-functions to p-valued Kleenean functions is a bijection. For p=even, since the mapping from monotonic (3, p+1)-functions to p-valued Kleenean functions is not a bijection, a condition which makes the mapping a bijection is developed. Moreover, Kleenean functions with no constants are derived from B-ternary logic functions by the rule; then the mapping is a bijection.<<ETX>>\",\"PeriodicalId\":433001,\"journal\":{\"name\":\"Proceedings of the Twentieth International Symposium on Multiple-Valued Logic\",\"volume\":\"106 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-05-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Twentieth International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.1990.122656\",\"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 the Twentieth International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.1990.122656","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Some relationships between multiple-valued Kleenean functions and ternary input multiple-valued output functions
The multiple-valued Kleenean functions discussed are multiple-valued-logic functions represented by multiple-valued AND, OR, NOT, constants, and variables. First, when p=odd, ternary input p-valued output functions (or (3, p)-functions for short) are defined, and when p=even, ternary input (p+1)-valued output functions ((3, p+1)-functions for short) are defined by adding the value (p-1)/2. A derivation rule is proposed as a link between (3, p)-functions (or (3, p+1)-functions and p-valued (or (p+1)-valued) Kleenean functions. For p=odd, the mapping from monotonic (3,p)-functions to p-valued Kleenean functions is a bijection. For p=even, since the mapping from monotonic (3, p+1)-functions to p-valued Kleenean functions is not a bijection, a condition which makes the mapping a bijection is developed. Moreover, Kleenean functions with no constants are derived from B-ternary logic functions by the rule; then the mapping is a bijection.<>