Потрібно перекласти арифметичні вирази з математичної мови на мову програмування​

Конъюнкция (от лат. conjunctio союз, связь) — логическая операция, по своему применению максимально приближённая к союзу "и". Синонимы: логическое "И", логическое умножение, иногда просто "И".

Конъюнкция может быть бинарной операцией, то есть, иметь два операнда, тернарной операцией, т.е. иметь три операнда или n-арной операцией, т.е. иметь n операндов. Чаще всего встречаются следующие варианты инфиксной записи:

a & b, a ∧ b, a*b, a AND b

По аналогии с умножением в алгебре знак логического умножения может быть пропущен: ab.

Переменные могут принимать значения из множества {0,1} . Результат также принадлежит множеству {0,1}. Вычисление результата производится по простому правилу, либо по таблице истинности. Вместо значений 0, 1 может использоваться любая другая пара подходящих символов, например false, true или F, T или "ложь", "истина".

Правило: результат равен 1, если все операнды равны 1; во всех остальных случаях результат равен 0.

Таблицы истинности:

для бинарной конъюнкции

a b a∧b  

0 0 0  

0 1 0  

1 0 0  

1 1 1  

       

для тернарной конъюнкции

X Y Z X∧Y∧Z

0 0 1 0

1 0 1 0

0 1 1 0

1 1 1 0

0 0 0 0

1 0 0 0

0 1 0 0

1 1 0 1

В классическом исчислении высказываний свойства конъюнкции определяются с аксиом. Классическое исчисление высказываний может быть задано разными системами аксиом, и некоторые из них будут описывать свойства конъюнкции. Один из самых распространённых вариантов включает 3 аксиомы для конъюнкции:

a∧b→a

a∧b→b

a → ( b → (a ∧ b ) )

Связь с естественным языком .  

Часто указывают на сходство между конъюнкцией и союзом "и" в естественном языке. Составное утверждение "A и B" считается истинным, когда истинны оба утверждения A и B, в противном случае составное утверждение ложно. Это в точности соответствует определению конъюнкции в булевой алгебре, если "истину" обозначать как 1, а "ложь" как 0. При этом часто делают стандартную оговорку о неоднозначности естественного языка. Например, в зависимости от контекста союз "и" может нести дополнительный оттенок "и тогда", "и поэтому", "и потом"..."И" также несет в себе оттенок неопределенного смысла. Отличие логики естественного языка от математической остроумно выразил американский математик Стивен Клини, заметив, что в естественном языке "Мэри вышла замуж и родила ребенка" — не то же самое, что "Мэри родила ребенка и вышла замуж".

Из условия Фано следует, что в префиксном неравномерном двоичном коде, предусматривающем однозначное декодирование, ни одно кодовое слово не может быть началом другого. 

Таким образом, оставшиеся три кода не могут быть началом кода буквы Б, и началами кодов друг друга.

То есть коды 0 и 00 отпадают сразу, т.к. это начала буквы Б.

Если предположить, что один из кодов равен 1, и что нам нужны кратчайшие коды, значит оставшиеся коды могут быть только 01 и 011.

Если предположить, что коды двузначны, тогда кодами могут быть 01, 10 и 11.

В первом случае суммарная длина кодов равна 1+2+3+3 = 9, во втором случае - 2+2+2+3 = 9.

Оба варианта подходят, кратчайшая суммарная длина - 9