Expand description
三值求值、真值表与化简。
Re-exports§
pub use eval::Assignment;pub use eval::EquivalenceResult;pub use eval::VarMap;pub use eval::assignment_index;pub use eval::decode_assignment;pub use eval::equivalent;pub use eval::equivalent_within;pub use eval::eval;pub use eval::eval_bitwise;pub use eval::eval_within;pub use eval::truth_table;pub use eval::truth_table_within;pub use simplify::SimplifyOptions;pub use simplify::simplify;pub use simplify::simplify_with;