| English | Russian |
| multi-set of logical formulas | множество с повторяющимися логическими формулами (Alex_Odeychuk) |
| visual representation of logical formulas | визуализация логических формул (в языке программирования с управляющей графикой Alex_Odeychuk) |
| visualization of logical formulas | визуализация логических формул (Alex_Odeychuk) |