Carlos não ir ao Canadá é condição necessária para Alexandre ir à Alemanha. Helena não ir à Holanda é condição suficiente para Carlos ir ao Canadá. Alexandre não ir à Alemanha é condição necessária para Carlos não ir ao Canadá. Helena ir à Holanda é condição suficiente para Alexandre ir à Alemanha. Portanto:
A
Helena não vai à Holanda, Carlos não vai ao Canadá, Alexandre não vai à Alemanha.
b
Helena vai à Holanda, Carlos vai ao Canadá, Alexandre não vai à Alemanha.
c
Helena não vai à Holanda, Carlos vai ao Canadá, Alexandre não vai à Alemanha.
d
Helena vai à Holanda, Carlos não vai ao Canadá, Alexandre vai à Alemanha.
e
Helena vai à Holanda, Carlos não vai ao Canadá, Alexandre não vai à Alemanha.