NOT-IF-THEN operation

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