DocumentCode :
2878236
Title :
B-ternary logic and evaluation of binary logic programs
Author :
Huang, Zhihai ; Rine, David C.
Author_Institution :
Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
fYear :
1988
fDate :
0-0 1988
Firstpage :
376
Lastpage :
380
Abstract :
A kind of ternary logic function called ternary-extended-from-binary (TEB) logic function is introduced, its relationship to previously studied B-ternary logic is mentioned, and its relationship to the evaluation of binary logic functions is studied. A method of evaluating binary logic functions using TEB-ternary functions is proposed. An advantage of the method is that it is possible to avoid unnecessary searches.<>
Keywords :
logic programming; ternary logic; B-ternary logic; TEB-ternary functions; binary logic programs; ternary-extended-from-binary logic function; Boolean functions; Computer science; Fault detection; Hydrogen; Logic devices; Logic functions; Logic programming; Multivalued logic;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 1988., Proceedings of the Eighteenth International Symposium on
Conference_Location :
Palma de Mallorca, Spain
Print_ISBN :
0-8186-0859-5
Type :
conf
DOI :
10.1109/ISMVL.1988.5198
Filename :
5198
Link To Document :
بازگشت