METHOD FOR THE LOGICAL DESIGN OF THREE-VALUED LOGIC FUNCTIONS.

被引：0
|
作者：
Hachimine, Gensuke
Kimura, Masayuki
机构：
来源：
Systems - Computers - Controls | 1976年 / 7卷 / 05期
关键词：
COMPUTER METATHEORY - Many Valued Logics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The problem of determining a simple representation for three-valued logic functions is considered. First, the given logic function is separated into two sets of terms, one for f1-type terms and the other for f2-type, and the relations between the terms are defined. The technique for finding easily the terms which have those relations is then illustrated. The superiority of the algorithm is then demonstrated by an example.
引用
收藏
页码：82 / 90
相关论文
共 50 条
  • [31] The Lattice of All Clones of Self-Dual Functions in Three-Valued Logic
    Zhuk, Dmitriy
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2015, 24 (1-4) : 251 - 316
  • [32] Three-valued logic in bounded model checking
    Schuele, T
    Schneider, K
    THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186
  • [33] BOURNE ON FUTURE CONTINGENTS AND THREE-VALUED LOGIC
    Kachi, Daisuke
    LOGIC AND LOGICAL PHILOSOPHY, 2009, 18 (01) : 33 - 43
  • [34] Positively closed classes of three-valued logic
    Marchenkov S.S.
    Marchenkov, S. S. (ssmarchen@yandex.ru), 1600, Izdatel'stvo Nauka (08): : 256 - 266
  • [35] A Three-Valued Semantics for Typed Logic Programming
    Barbosa, Joao
    Florido, Mario
    Costa, Vitor Santos
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
  • [36] Erotetic Search Scenarios and Three-Valued Logic
    Dorota Leszczyńska-Jasion
    Paweł Łupkowski
    Journal of Logic, Language and Information, 2016, 25 : 51 - 76
  • [37] Algebraization of the three-valued BCK-logic
    Olmedo, FMG
    Salas, AJR
    MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (02) : 163 - 178
  • [38] A three-valued temporal logic for future contingents
    Akama, Seiki
    Nagata, Yasunori
    Yamada, Chikatoshi
    LOGIQUE ET ANALYSE, 2007, (198) : 99 - 111
  • [39] Three-valued logic, indeterminacy and quantum mechanics
    Bigal, T
    JOURNAL OF PHILOSOPHICAL LOGIC, 2001, 30 (02) : 97 - 119
  • [40] CLOSED CLASSES OF THREE-VALUED LOGIC FUNCTIONS GENERATED BY SYMMETRIC FUNCTIONS WITH A BOUNDED NUMBER OF LAYERS
    Mikhailovich, A. V.
    PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2015, 27 (01): : 17 - 26
12345