[4108] 'Se Marina sta parlando al telefono, allora Mauro e Franco stanno guardando la televisione'. Se l'affermazione precedente è vera, allora è necessariamente vero che:
| se Marina non sta parlando al telefono, allora Franco e Mauro non stanno guardando la televisione | |
| se Franco non sta guardando la televisione, allora Marina non sta parlando al telefono | |
| se Marina non sta parlando al telefono, allora Franco o Mauro non stanno guardando la televisione | |
| se Mauro sta guardando la televisione, allora Marina sta parlando al telefono |