Don’t-care minimization

Mark truth-table rows as 0, 1, or X. X entries need not be covered — using them as 1s often yields a smaller SOP.