Подскажите по информатике что означает X→Y и как отображается в таблице истинности?

ну русским языком из X следует Y, по нормальному это называется имплекацией. Ну и определение выражение X->Y истинно тогда и только тогда когда выражение Y истинно