For the same u, a and z, W = Q̄ + Q̄u + Q̄ū + Q̄z + Q̄z̄ carries a 2×3 configuration, while no Q̄ + Q̄u + Q̄ū + Q̄w with w ∈ W outside Q̄ + Q̄u + Q̄ū does

Initializing...

For the same u, a and z, W = Q̄ + Q̄u + Q̄ū + Q̄z + Q̄z̄ carries a 2×3 configuration, while no Q̄ + Q̄u + Q̄ū + Q̄w with w ∈ W outside Q̄ + Q̄u + Q̄ū does · Prove2Me