Как называется правило преобразования входных логических значений в логическое значение-результат?

• логическая функция
• логическое выражение
• логическое правило
• логическая задача
• логическое высказывание