Terms for subject Computers containing implications

French	Russian
implication biconditionnée	логическая эквивалентность
implication biconditionnée	равнозначность
implication biconditionnée	двусторонняя импликация/
porte d’implication	импликатор
signe d'implication	знак импликации
élément d'implication	импликатор