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
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;
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
DOI :
10.1109/ISMVL.1988.5198