Gate Logic: Two-Level Simplification
a 0-cube, i.e., a single node, yields a term in three literals
a 1-cube, i.e., a line of two nodes, yields a term in two literals
a 2-cube, i.e., a plane of four nodes, yields a term in one literal
a 3-cube, i.e., a cube of eight nodes, yields a constant term "1"
an m-subcube within an n-cube (m < n) yields a term with