1. В алгебре логики высказывания обозначаются буквами и называются переменными. 2. При этом если высказывание истинно, то значение соответствующей ему переменной обозначают единицей, а если ложно — нулём. 3. Эти обозначения называют булевыми значениями.