Logic circuit design with the aid of an automated reasoning program

  • Authors:

  • R. B. Abhyankar;B. Humpert

  • Affiliations:

  • Indiana State Univ., Indiana;Indiana State Univ., Indiana

  • Venue:
  • ACM SIGDA Newsletter
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract

As an example of a logic circuit design problem, we consider the two-inverter puzzle [1] which may be stated as follows:Using any number of AND, OR gates but no more than two NOT gates (inverters), design a logic circuit with three inputs i1, i2, i3 and three outputs o1, o2, 03 such that o1=NOT (il), o2=NOT (i2), o3=NOT (i3).