вентиль условной импликации

Conditional implication gate