Terms for subject Programming containing логическое выражение

Russian	English
алгебраическое упрощение логических выражений	algebraic simplification (ssn)
визуальное логическое выражение	visual boolean expression (в языке программирования с управляющей графикой Alex_Odeychuk)
выражение защиты, вырабатывающее логическое значение	boolean-valued guard expression (ssn)
выражения защиты, вырабатывающие логическое значение	boolean-valued guard expressions (ssn)
двоичное логическое выражение	binary logical expression (ssn)
логическое выражение	Boolean expression (A Boolean expression is an expression that yields a Boolean value (true or false). – Логическое выражение – это любое выражение, возвращающее значение типа boolean.)
неравенства с двоичными логическими выражениями	inequalities among binary logical expressions (ssn)
неравенства с логическими и арифметическими выражениями	inequalities among logical and arithmetic expressions (ssn)
Присваивание значений защищённому сигналу происходит под управлением выражений защиты или защит, вырабатывающих логическое значение	A guarded signal is assigned values under the control of boolean-valued guard expressions or guards (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn)
точка прерывания, управляемая логическим выражением	breakpoint (ssn)
трансляция логических выражений	translation of boolean expressions (ssn)
трансляция логических выражений с помощью потока управления	control-flow translation of boolean expressions (ssn)
упрощение логических выражений	simplification (ssn)