| English | Russian |
| Backus Normal Form | БНФ (нормальная форма Бэкуса-Наура; см. ГОСТ Р 54456-2011 ssn) |
| compute normal form | вычисление нормальной формы (ssn) |
| conjunctive normal form | КНФ (ssn) |
| conjunctive normal form | конъюнктивная нормальная форма (ssn) |
| equivalent normal form | ЭНФ (ssn) |
| equivalent normal form | эквивалентная нормальная форма (форма представления булевой функции, реализуемой комбинационной схемой ssn) |