M-dimensional cubes in an n-dimensional space
In a 3-cube (three variables):
- A 0-cube (a single node) yields a term in 3 literals
- A 1-cube (a line of two nodes) yields a term in 2 literals
- A 2-cube (a plane of four nodes) yields a term in 1 literal
- A 3-cube (a cube of eight nodes) yields a constant term "1"
On-set forms a square (a 2-D cube)
A is asserted (true) and unchanging
This subcube represents the literal A