A seguinte proposição: “Roberto é arquiteto ou Joana não sonha”. É logicamente equivalente a: