libreda-logic

此crate实现了处理逻辑表达式的核心功能，包括布尔逻辑和多值逻辑。

lib.rs:

此crate包含处理LibrEDA框架中逻辑函数的核心功能。

参考

一些无序列表文献

• 《逻辑设计和开关理论》 https://archive.org/details/logicdesignswitc00muro