Anglais ⇄ Russe +

binary term contraintes
Gruzovik, informat.	байт
médias.	буква терма (переменная или её отрицание, входящая в конъюнктивный член)