英语 ⇄ 俄语 +

visual representation of logical formulas 强调
编程	визуализация логических формул (в языке программирования с управляющей графикой Alex_Odeychuk)