Представление логических значений в машине
Логические значения — «истина» (true) и «ложь» (false) в отличие от чисел не имеют стандартного представления. Программист волен выбирать такое представление, какое ему представляется удобным в той или иной задаче. Для представления значения одной логической переменной достаточно выделить один любой разряд какой-либо одной ячейки. Таким образом, в одной ячейке можно хранить значения до 45 логических переменных. Однако, если число логических переменных, используемых в задаче,, невелико, то можно отвести по целой ячейке под значение каждой из этих переменных. Наконец, для кратковременного хранения одного логического значения можно использовать регистр признака со. Чаще всего значение со, выработанное некоторой операцией, используется лишь следующей операцией, но иногда между выработкой признака со и его использованием выполняется несколько операций. Это возможно при условии, что промежуточные операции не меняют значение этого признака.
Во всех случаях необходимо соглашение о том, какое именно логическое значение изображается тем или иным содержимым разряда, ячейки или регистра со. В случае одного двоичного разряда обычно принимают, что 1 изображает логическое значение true, а 0 — значение false. Как мы увидим, это соглашение отражается в принятых наименованиях операций машины М-20. Если для хранения логического значения отведена целая ячейка, то перед программистом открывается большой выбор возможностей. Можно, например, условиться, что значение true изображается кодом, содержащим 1 во всех разрядах ячейки, а значение false — кодом, составленным только из нулей. Можно принять, что значению true отвечает 1, а значению false —0 в одном определенном разряде, содержимое же остальных разрядов должно быть равным нулю. Можно согласиться, что значение true изображается тем же кодом, что число 1, а значение false — кодом числа 0. В разных программах тот или иной вариант может оказаться более удобным, чем другие. Во всех упомянутых вариантах существуют коды (например, код ООО 7777 0000 0000), ничего не изображающие при выбранном  соглашении.   Поэтому  можно  принять   соглашение несколько иного рода — какой-то определенный код изображает одно из логических значений (например, код из 45 нулей — значение false), любой другой код — противоположное значение (true). Впрочем, наличие кодов, не изображающих ни одно из логических значений, может оказаться полезным в задачах, где допускаются вопросы, на которые кроме определенных ответов — да (true) и нет (false) — возможны и неопределенные ответы типа «не знаю» или «неизвестно».