Terms for subject Automated equipment containing может

Russian	German
форма представления булевой функции, в которой отрицание может применяться лишь отдельной переменной	negationsbeschränkte Darstellung