Software to Find Kernels/Co-Kernels of Boolean Expressions

Question

Is there any (free) software available that calculates all the possible kernel/co-kernel pairs of a boolean expression?

Answer 1

A free tool is misII - Multiple-level Combinational Logic Optimization Program. It is contained in the Windows freeware package Logic Friday 1 or in the Berkeley Octtools.

The terms Kernel and Co-Kernel are explained here.

Edited:

The misII documentation is available online.

Interactive sample session with misII:

misII> read_eqn
z = (a+b+c)(d+e)f+g;
^Z
misII> print_kernel -as z
Subkernels of {z}
(a f + b f + c f) * (d + e)
(d f + e f) * (a + b + c)
misII> print_kernel -a z
Kernels of {z}
(a f) * (d + e)
(b f) * (d + e)
(c f) * (d + e)
(d f) * (a + b + c)
(e f) * (a + b + c)
(f) * (a d + a e + b d + b e + c d + c e)
(-1-) * (a d f + a e f + b d f + b e f + c d f + c e f + g)