except operation

Операция исключения, операция отрицания импликации