This crate contains the core functionality for dealing with logic functions in the LibrEDA framework.

References

Some unordered list of literature:

• "Logic Design and Switching Theory" https://archive.org/details/logicdesignswitc00muro

libreda-logic

This crate implements core functionality for dealing with logic expression, including boolean logic and multi-valued logic.