## Abstract

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.

## References

- 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