Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question
up vote 3 down vote accepted

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.


The misII documentation is available online.

Interactive sample session with misII:

misII> read_eqn
z = (a+b+c)(d+e)f+g;
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)
share|cite|improve this answer
I have Logic Friday - I don't believe it does kernel and co-kernel calculations. I haven't used Octtools, but I don't see any evidence on their website that it does this either. I'm not looking for logic optimization, but for one specific step of it. – John Roberts Mar 16 '13 at 3:24
Below the 'Logic Friday 1' installation directory there is a misII directory. Look into the misII help file to find out how the 'print kernels' operation works. – Axel Kemper Mar 16 '13 at 9:21
I take it back. Good work man. – John Roberts Mar 16 '13 at 13:53
Would you happen to know how to use the gkx function as well? I can't seem to get it to work. – John Roberts Mar 16 '13 at 15:27
No, I don't have more information than source code and manual (page 13): 'gkx -?' gives a short help – Axel Kemper Mar 16 '13 at 16:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.