A proof rule for restoring logic circuits
Publication date
1983
Authors
Bergstra, J.A.
Klop, J.W.
Editors
Advisors
Supervisors
DOI
Document Type
Article
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
axiomatic semantics, Switching theory, Muller C-element, restoring logic