The Necessity of Feedback in Minimal Monotone Combinational Circuits

Authors:
R. L. Rivest
Affiliations:
Laboratory of Computer Science, Massachusetts Institute of Technology
Venue:
IEEE Transactions on Computers
Year:
1977

Citing 1
Cited 3

The Necessity of Closed Circuit Loops in Minimal Combinational Circuits

IEEE Transactions on Computers

Formal Reasoning About Causality Analysis

TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
The analysis of cyclic circuits with Boolean satisfiability

Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Cyclic Boolean circuits

Discrete Applied Mathematics

Quantified Score

Hi-index	14.98

Visualization

Abstract

We present a specific n-input 2n-output positive unate Boolean function which can be realized with 2n two-input gates if feedback is used, but which requires 3n-2 gates if feedback is not used.