Implicants¶

The header <kitty/implicant.hpp> implements methods to find implicants and prime implicants.

Function	Description
`get_minterms(tt)`	Computes all minterms.
`get_jbuddies(minterms, j)`	Computes all j-buddies in a list of minterms.
`get_prime_implicants_morreale(minterms, num_vars)`	Computes all prime implicants (from minterms)
`get_prime_implicants_morreale(tt)`	Computes all prime implicants (from truth table)