Полный англо-русский словарь
IF-THEN
Импликация (функция)
Полный англо-русский словарь
if-else structure
IF-THEN gate