A proof rule for restoring logic circuits
Publication date
1983
Authors
Bergstra, J.A.
Klop, J.W.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. As an example the Muller C-element is discussed in detail. It is shown that a consistent circuit reacts in an unambiguous way on new inputs.
Keywords
switching theory, Muller C-element, axiomatic semantics, restoring logic