DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADP002370
Title:
Four-Valued Logic, Star Algorithm and Their Application,
Corporate Author:
CHONGQING UNIV (CHINA)
Report Date:
1983-05-01
Abstract:
This paper is a survey of the works done in Chongqing University on Four-Valued Logic which is useful for describing the dynamic behaviors of logical objects. The mathematical Basis of Four-Valued Logic has been stated. The deduction method----Star Algorithm has been introduced. Three kinds of applications based on different explanations of the component have been dealt with, such as the fault detection of the combinational and the sequential circuits, the hazardous test generation as well as the transition logic.
Supplementary Note:
This article is from 'Proceedings of the International Symposium on Multiple-Valued Logic (13th) Held at Kyoto, Japan on May 23-25, 1983,' AD-A136 457, p314-325.
Pages:
0012
File Size:
0.00MB
