Logic Equations



The core concepts in the Boolean domain are logic functions and equations. We define logic equations and their solutions. Any system of logic equations and inequalities can be transformed into a single logic equation with the same solution set. Lists of ternary vectors are used as the main data structure to solve logic equations based on set operations. Alternative solution procedures are provided for special equation systems.


  1. 38.
    Steinbach, B.: XBOOLE—a toolbox for modelling, simulation, and analysis of large digital systems. Syst. Anal. Model. Simul. 9(4), 297–312 (1992). ISSN: 0232-9298zbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2019

Authors and Affiliations

  1. 1.Computing and Information TechnologyUniversity of the West Indies (retired)ChemnitzGermany
  2. 2.Computer ScienceTU Bergakademie Freiberg (retired)ChemnitzGermany

Personalised recommendations