implication operation

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