Considere a seguinte afirmação: Se ninguém é culpado pela falsificação, então João foi detido ou Maria foi informada. Uma afirmação logicamente equivalente à afirmação dada é
Se há alguém culpado pela falsificação, então João não foi detido ou Maria não foi informada.
Se há alguém culpado pela falsificação, então João não foi detido, nem Maria foi informada.
Se João foi detido ou Maria foi informada, então ninguém é culpado pela falsificação.
Se João não foi detido, nem Maria foi informada, então todos são culpados pela falsificação.
Se João não foi detido, nem Maria foi informada, então há alguém culpado pela falsificação.