This is basically Boolean simplification. It reminds me of identifying the maxterms instead of the minterms, which is useful for functions which have a lot more

This is basically Boolean simplification. It reminds me of identifying the maxterms instead of the minterms, which is useful for functions which have a lot more minterms than maxterms.