m-dimensional cubes in a n-dimensional Boolean space
In a 3-cube (three variables):
- a 0-cube, i.e., a single node, yields a term in 3 literals
- a 1-cube, i.e., a line of two nodes, yields a term in 2 literals
- a 2-cube, i.e., a plane of four nodes, yields a term in 1 literal
- a 3-cube, i.e., a cube of eight nodes, yields a constant term "1"
In general,
- an m-subcube within an n-cube (m < n) yields a term with n – m literals