Английский ⇄ Русский +

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