Simplified Covers
lIn a
fully-simplified SOP, each sub-cube will be maximal,
in that it is not contained within another
sub-cube.
lIf
instead it were properly contained in another
sub-cube, then it could be replaced with that sub-cube.
lThe
replacement would have fewer variables, i.e. be
simpler.