Product of literals (eg. as part of a SOP-form)
Any cube that is not fully contained in another cube
A cube, that contains a minterm which is not contained in any other cube
Cover that only contains irredundant cubes
Product of literals corresponding to a single field of K-map
Set of cubes, that covers all minterms of a function
An expression is cube free, if no cube devides the expression evenly (e.g. no common literal)
An expression that is cube free