libreda-logic

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

lib.rs:

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