Come negare correttamente un predicato delimitato da alcuni quantificatori?

Question

Questo è un problema che è stato chiesto in Gate CS 2010.

Questa è una dichiarazione di domanda:
Q: Supponiamo che il predicato f (x, y, t) sia usato per rappresentare l'affermazione che la persona x può ingannare la persona y al momento t. Quale delle dichiarazioni seguenti esprime il miglior significato della formula ∀x∃y∃t (¬f (x, y, t))?

Opzioni:
UN: Tutti possono ingannare una persona in qualche momento.
B: Nessuno può ingannare tutti tutto il tempo.
C: Tutti non possono ingannare una persona tutto il tempo.
D: Nessuno può ingannare una persona in qualche momento.

Secondo la mia soluzione:
Se f (x): la persona X può ingannare la persona y al momento t.
Quindi
$ forall $X $ esiste $y $ esiste $t (¬f (x, y, t))
è uguale a "non tutta la persona x può ingannare una persona a qualche tempo che può essere riscritta come" nessuno può ingannare una persona in qualche momento ".
Quindi l'opzione D deve essere quella corretta.
Tuttavia ho torto.

Come affrontare questo tipo di problemi.