В алгебре логики высказывания обозначаются ...(чем?) и называется...(как?) При этом если высказывания истинно, то значение соответствующей ему... (чем) обозначают.. (чем?), а если можно.. (чем?) эти обозначения называют...(как?)
Высказывания обозначаются переменными и называются пропозициональными переменными.Если высказывание истинно, то значение соответствующей ему переменной обозначается символом 1, а если ложно - символом 0.Эти обозначения называются булевыми значениями.