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