Devi usare and, non or.
Con or la condizione sarà sempre vera.

Ragiona così: quando ciò che hai scritto è falso?
E' falso quando $a è contemporaneamente pari a 1, 2 e 3, il che è impossibile, una variabile può assumere un solo valore.
Poiché una variabile può assumere un solo valore, ovviamente almeno 2 degli or saranno soddisfatti rendendo vera tutta la condizione.