Introduction to Discrete Structures for Computer Science and Engineering
Introduction to Discrete Structures for Computer Science and Engineering
Partitioning of Separating Edges: A New Approach to Combinational Logic Design
IEEE Transactions on Computers
Test Sets for Combinational Logic The Edge-Tracing Approach
IEEE Transactions on Computers
Identification of Equivalent Faults in Logic Networks
IEEE Transactions on Computers
A Nand Model ror Fault Diagnosis in Combinational Logic Networks
IEEE Transactions on Computers
| Hi-index | 14.98 |
This correspondence presents a solution of a well-known essential problem of diagnostics open till now. The method of solution is based on a straight application of mathematical structures theory 1121, [11]and on a topological representation of Boolean algebras [ 1]l[1] [ 41] The principle idea of this approach is as follows. The distribution of diagnostic information is controlled in Boolean combinational circuits (CC) by two relations generally, the first is a congruence relation and the other is a tolerance relation. This fact is given by a real construction of CC. The Boolean calculus is evidently a formal interpretation of one of these relations only. Hence, the Boolean calculus cannot be used to solve entirely such problems which are related to this distribution. If we want to disclose the essence, we have to use a more general mathematical apparatus to interpret both relations mathematically. The outline of mathematical model of CC is presented and a trace of model on its underlying set is employed to solve the problem.