ciao,
dove c'è y sostuisci con (!y).
Nel caso di !y diventa !(!y) che vale y.