x + (y × z) = (x + y) × (x + z).