Considere a afirmação: Se os instrumentos estão sobre a mesa, então a análise não sofre atraso. Uma afirmação que seja logicamente equivalente a esta, é

Os instrumentos não estão sobre a mesa ou a análise sofre atraso.

Os instrumentos não estão sobre a mesa e a análise não sofre atraso.

Os instrumentos estão sobre a mesa e a análise sofre atraso.

Se a análise sofre atraso, então os instrumentos não estão sobre a mesa.

Se a análise não sofre atraso, então os instrumentos estão sobre a mesa.