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 é