Te lo ha prescritto il medico di usare per forza OR?
Se devi verificare che il dato $modulo13 sia diverso da abc7 e diverso da ABC7 e diverso da AbC7... devi usare AND.

Codice PHP:
if ($modulo13 != 'abc7' || $modulo13 != 'ABC7' || $modulo13 != 'AbC7') { 
questo sarà sempre vero, per essere falso, $modulo13 dovrebbe valere contemporaneamente abc7, ABC7 e Abc7... ovviamente impossibile.