ABAL-a language for boolean function representation and manipulation

  title={ABAL-a language for boolean function representation and manipulation},
  author={Iong Chen and Bill Carroll},
  journal={IEEE Transactions on Education},
  • Iong Chen, Bill Carroll
  • Published 1977
  • Computer Science
  • IEEE Transactions on Education
  • A language ABAL (Auburn Boolean Algebra Language) is described in this paper that permits machine representation and manipulation of Boolean functions. Functions may be specified in algebraic form or as lists of minterms or maxterms. Types of operations available in the language include functional form changes, simplification rules, prime implicant or prime implicate generation, functional minimization, functional combinations using Boolean operators, and truth table generation. ABAL is written… CONTINUE READING


    Publications citing this paper.