Se o combustível do veículo terminou, então o motor dele desligou. Uma afirmação equivalente a esta é

se o motor do veículo desligou, então o combustível dele terminou.

se o motor do veículo não desligou, então o combustível dele não terminou.

se o combustível do veículo não terminou, então o motor dele não desligou.

o combustível do veículo terminou e o motor dele não desligou.

o motor do veículo desligou e o combustível não terminou.