Crate quine_mccluskey

Boolean function minimizer based on Quine-McCluskey algorithm.

Usage

use quine_mccluskey as qmc;

let mut solutions = qmc::minimize(
    &qmc::DEFAULT_VARIABLES[..3],
    &[0, 5],        // minterms
    &[1, 3, 4, 6],  // maxterms
    qmc::SOP,
    false,
    None
)
.unwrap();

assert_eq!(
    solutions.pop().unwrap().to_string(),
    "(A ∧ C) ∨ (~A ∧ ~C)"
);

minimize is sufficient for all use cases. But also check minimize_minterms and minimize_maxterms to see if they are more suitable for your use case.

Feature flags

• serde – Derives the [Serialize] and [Deserialize] traits for structs and enums.

Structs

• Variable
  A variable as part of a Solution.

Enums

• Error
  Error types for bad input and timeout.
• Form
  The form of a boolean expression.
• Solution
  A minimized boolean expression.

Statics

• DEFAULT_VARIABLES
  All letters of the English alphabet in uppercase.

Functions

• minimize
  Minimizes the boolean function represented by the given minterms and maxterms.
• minimize_maxterms
  Minimizes the boolean function represented by the given maxterms and dont_cares.
• minimize_minterms
  Minimizes the boolean function represented by the given minterms and dont_cares.