Work out boolean algebra simplifier instantly with clear inputs, formula shown and shareable results.
Adjacent minterms differing in exactly one bit combine, because AB + AB' = A. Pairing every such neighbour is the first and most productive step of Quine-McCluskey reduction and of Karnaugh mapping.
Combining rule
X·Y + X·Y' = X, so minterms differing in one bit merge and drop that variable
The adjacent pairs collapse to a much shorter sum of products than the six four-literal terms you start with.
Because that variable appears in both polarities, so it cannot affect the outcome and factors out entirely.