Ragazzi un piccolo aiutino...

Io faccio:
Codice PHP:
if ($op!="userinfo")  {
    
header("Location: index.php");
    } 
...Ma come si fa:
Se $op è diverso da "userinfo" o diverso da "edituser" vai ad index.php??


GRAZIE!