IF-THEN operation

Операция импликации