Логические данные

Логические команды

Под логическими понимаются такие преобразования данных, в основе которых лежат правила формальной логики. Формальная логика работает на уровне утверждений истинно и ложно. Для микропроцессора это, как правило, означает 1 и 0, соответственно.

К средствам логического преобразования данных относятся логические команды и логические операции. На рис. 9.1 показаны средства микропроцессора для организации работы с данными по правилам формальной логики. Они разбиты на две группы: команды и операции. Операнд команды ассемблера в общем случае может представлять собой выражение, которое, в свою очередь, является комбинацией операторов и операндов. Среди этих операторов могут быть и операторы, реализующие логические операции над объектами выражения.

Логические данные

Теоретической базой для логической обработки данных является формальная логика. Существует несколько систем логики. Одна из наиболее известных – это исчисление высказываний. Высказывание – это любое утверждение, о котором можно сказать, что оно либо истинно, либо ложно. Исчисление высказываний представляет собой совокупность правил, используемых для определения истинности или ложности некоторой комбинации высказываний.

Над высказываниями (над битами) могут выполняться следующие логические операции:

- отрицание (логическое НЕ) — логическая операция над одним операндом, результатом которой является величина, обратная значению исходного операнда.

- логическое сложение (логическое включающее ИЛИ) — логическая операция над двумя операндами, результатом которой является «истина» (1), если один 2 или оба операнда имеют значение «истина» (1), и «ложь» (0), если оба операнда имеют значение «ложь» (0). Эта операция описывается с помощью следующей таблицы истинности:

0 или 0 =0 0 или 1 =1 1 или 0 =1 1 или 1 =1

- логическое умножение (логическое И) — логическая операция над двумя операндами, результатом которой является «истина» (1) только в том случае, если оба операнда имеют значение «истина» (1). Во всех остальных случаях значение операции — «ложь» (0). Эта операция описывается е помощью следую­щей таблицы истинности:

0 и 0 =0 0 и 1 =0 1 и 0 =0 1 и 1 =1

- логическое исключающее сложение (логическое исключающее ИЛИ) — логическая операция над двумя операндами, результатом которой является «истина» (1), если только один из двух операндов имеет значение «истина» (1), и ложь (0), если оба операнда имеют значения «ложь» (0) или «истина» (1). Эта операция описывается с помощью следующей таблицы истинности:

0 или 0 =0 0 или 1 =1 1 или 0 =1 1 или 1 =0

Система команд микропроцессора содержит пять команд, поддерживающих данные операции. Эти команды выполняют логические операции над битами операндов. Размерность операндов должна быть одинакова.