Algorithm-QuineMcCluskey (cpan): Solve sets of Boolean terms with the Quine-McCluskey algorithm
Keywords: boolean|boolean-algebra|quine-mccluskey