Логические операции и – Логические операции и таблицы истинности. Бинарные и унарные операторы.

Логические операции и таблицы истинности

Основой
цифровой техники служат три логические
операции, лежащие в основе всех выводов
компьютера. Это три логические операции:
И, ИЛИ, НЕ, которые называют «тремя
китами машинной логики».

В
компьютере логические функции реализуют
логические элементы. Логический
элемент (вентиль) – это часть
электронной логической схемы, которая
реализует элементарную логическую
функцию, т.е. это электронная схема,
которая формирует выходной сигнал в
соответствии с простой булевой операцией
преобразования сигналов, поданных на
его входы.

Логическими
элементами компьютеров являются
электронные схемы И, ИЛИ, НЕ, И–НЕ, ИЛИ–НЕ
и другие, а также триггер.

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

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

Если
А – истинно, то Ā – ложно и наоборот

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

Результат
отрицания всегда противоположен значению
аргумента. Логическая операция
НЕ является унарной, т.е. действие
выполняются над одним операндом. В
отличие от нее, операции И (AND) и ИЛИ (OR)
являются бинарными, так как представляют
собой результаты действий над двумя
логическими величинами.

Например,
A – идет дождь; Ā – не идет дождь (не(А)
или not(A))

Логическое
И еще часто называют конъюнкцией,
или логическим умножением, Операция
И (обозначается «И», «and», «&», А•В)
имеет результат «истина» только в том
случае, если оба ее операнда истинны.

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

A

B

F

0

0

0

0

1

0

1

0

0

1

1

1

Если
F = A&B, то F истинно тогда и только тогда,

когда
истинны и А и В

Например,
A – пасмурно; B – идет дождь.

Можно
записать: A&B (читается пасмурно и идет
дождь)

Операция
ИЛИ  – дизъюнкция, или логическое
сложение.

(обозначается
«ИЛИ», «or», А+В) «менее привередлива» к
исходным данным. Она дает «истину», если
значение «истина» имеет хотя бы один
из операндов. Разумеется, в случае, когда
справедливы оба аргумента одновременно,
результат по-прежнему истинный.

A

B

F

0

0

0

0

1

1

1

0

1

1

1

1

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

Если
F = A+B, то F ложно тогда и только тогда,
когда ложны и А и В.

Например,
A – пасмурно; B – идет дождь.

Можно
записать: A+B (читается пасмурно или идет
дождь)

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

Логическое
следование: импликация
– связывает
два простых логических выражения, из
которых первое является условием (А), а
второе (В) – следствием из этого условия.
Результатом импликации является ЛОЖЬ
только тогда, когда условие А истинно,
а следствие В ложно. Обозначается
символом «следовательно» и выражается
словами ЕСЛИ … , ТО …

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

A

B

F

1

1

1

1

0

0

0

1

1

0

0

1

Логическая
равнозначность: эквивалентность (конвергенция)
– определяет результат сравнения двух
простых логических выражений А и В.
Результатом эквивалентности является
новое логическое выражение, которое
будет истинным тогда и только тогда,
когда оба исходных выражения одновременно
истинны или ложны. Обозначается символом
«эквивалентности».

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

A

B

F

1

1

1

1

0

0

0

1

0

0

0

1

studfiles.net

2.2. Высказывания. Логические операции и их основные свойства

Определение
1.
Суждением
называется форма мышления, в которой
что-либо утверждается или отрицается
о существовании
предмета, связях
между
предметом и его свойствами или об
отношениях
между предметами.

Определение
2.
Высказыванием
называется
повествовательное предложение, о котором
в данной ситуации можно сказать, что
оно истинно или ложно, но не то и другое
одновременно.

Например,
«Москва – столица России», «число 2
больше 5» – высказывания. Первое
высказывание является истинным, а второе
– ложным.

Будем
обозначать высказывания латинскими
буквами:

Логическое
значение высказывания «истина»
обозначается цифрой «1», «ложь» – «0».

Предложения:
«Который час?», «ответьте
на вопрос», «добро
пожаловать!» – не являются высказываниями.

Предложение
«Была метель» также не является
высказыванием, пос­кольку нет
достаточной информации, чтобы установить
истинно оно или ложно (где и когда?).

Определение
3.
Формализацией
высказываний называют операцию замены
высказывания естественного языка
формулой математического языка,
включающего высказывательные переменные
и символы тех логических операций,
которые соответствуют структуре самого
высказывания.

Определение
4.
Если
суждение об истинности высказывания
можно вынести из самого высказывания,
то такое высказывание называют простым.
В противном случае мы имеем сложное
(составное)
высказывание.

Значение
истинности составного высказывания
определяется значениями истинности
его компонент.

Из
простых высказываний можно образовать
новые составные высказывания с помощью
союзов «и», «или», «либо», «если…, то»,
«тогда и только тогда, когда», «неверно,
что». Эти союзы называются логическими
связками
.
Построение из данных высказываний
нового составного высказывания называется
логической
операцией

над высказываниями.

Основные
логические операции: отрицание,
конъюнкция, дизъюнкция, импликация,
эквивалентность (табл. 1).

Таблица
1

Логические операции

Название

Прочтение

Обозначение

Отрицание

Не;
неверно, что

()

Конъюнкция

И;
а

()

Дизъюнкция

Или

Импликация

Если
… то

Эквивалентность

Тогда
и только тогда, когда

(~)

Логическое
значение сложного высказывания можно
описать с помощью таблицы, называемой
таблицей
истинности

(верхняя строка содержит обозначения
высказываний, последующие строки –
логическое значение высказываний).

Пусть
даны два произвольных высказывания
и.

Определение
5.
Отрицанием
высказывания
называется высказывание(«не»,
«неверно, что»),
которое истинно, когдаложно, и ложно, когдаистинно.

Таблица
истинности для отрицания:

0

1

1

0

Определение
6.
Конъюнкцией
(логическим умножением) двух высказываний
,называется высказывание(«и»),
которое истинно только в том случае,
когдаиоба истинны.

Таблица
истинности для конъюнкций:

Определение
7.
Дизъюнкцией
(логическим сложением) двух высказываний
,называется высказывание(«или»),
которое истинно, когда хотя бы одно из
них истинно.

Таблица
истинности для дизъюнкций:

Определение
8.
Импликацией
двух высказываний
,называется
высказывание
(«если,
то»,
«влечёт»,
«изследует»,
«имплицирует»),
которое ложно тогда и только тогда,
когдаистинно, аложно.

Таблица
истинности для импликаций:

Определение
9.
Эквивалентностью
высказываний
,называется высказывание(«эквивалентно»,
«тогда и только тогда, когда»,
«для того, чтобы,
необходимо и достаточно, чтобы»),
которое истинно тогда и только тогда,
когдаи
оба истинны или ложны.

Таблица
истинности для эквивалентности:

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

Например,
составными будут высказывания:
;;.

Замечание
1.

Скобки указывают порядок выполнения
действий. Если скобок нет, то операции
надо выполнять в следующем порядке:
конъюнкция, дизъюнкция, импликация,
эквивалентность. Если отрицание относится
ко всему высказыванию, например,
,
то оно выполняется последним. Если
отрицание относится только к одному
высказыванию, например,,
тогда оно выполняется первым.

Каждое
составное высказывание имеет свою
таблицу истинности, которая может быть
построена стандартным образом.

Определение
10.
Формулой
алгебры логики высказываний

называется всякое простое высказывание,
обозначаемое буквой, а также всякое
составное высказывание, которое
получается комбинированием простых
высказываний с помощью конечного числа
указанных выше основных операций
(;;;;).
Для любых формул можно построитьтаблицу
истинности
.

Определение
11.
Таблицей
истинности формулы

называется сводная таблица всех значений
входящих в нее высказываний и
соответствующих значений самой формулы.
Если формула содержит
элементарных высказываний, то таблица
содержитстрок.

Пример
1.

Составьте таблицу истинности
.

Решение

Составим
таблицу истинности, последовательно
выполняя логические операции, входящие
в формулу:

0

0

0

1

1

0

0

0

0

1

1

1

0

1

0

1

0

0

1

0

0

0

1

1

0

1

0

1

1

0

0

1

1

0

0

1

0

1

1

1

0

1

1

1

0

0

0

1

1

1

1

1

0

0

1

1

Пример
2.

Пусть
,иобозначают соответственно высказывания:
«Тимофей любит шахматы», «Тимофей любит
футбол», «Тимофей любит баскетбол».
Требуется записать высказывание:
«Тимофей любит шахматы и неверно, что
он любит футбол или баскетбол» в
символической форме и указать
соответствующую таблицу истинности.

Решение

Высказывание
«Тимофей любит футбол или баскетбол»
в символичес­кой форме записывается
как
.
Высказывание «Неверно, что Тимофей
любит футбол или баскетбол» символически
записывается как,
пос­кольку отрицание применяется ко
всему высказыванию.

Итак,
исходное высказывание символически
изображается
.

Таблица
истинности этого высказывания:

1

1

1

1

0

0

0

0

1

1

0

0

1

1

0

0

1

0

1

0

1

0

1

0

1

1

1

0

1

1

1

0

0

0

0

1

0

0

0

1

0

0

0

1

0

0

0

0

Пример
3.

Запишите высказывание «Если число 72
делится на 6, а число 6 делится
на 2, то число 72 делится на 2» в символической
форме.

Решение

Выделим
простые высказывания «число 72 делится
на 6», «число 6 делится на 2», «число 72
делится на 2» и заменим их логическими
переменными
,исоответственно.

Тогда
исходное высказывание символически
изображается
.

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

Определение
12.
Две
формулы алгебры логики
иназываютсяравносильными,
если они принимают одинаковые логические
значения
(0 или 1) при одинаковых наборах
значений входящих в них высказываний
(пишут
).

Например,
,– равносильные формулы:

,
так как
илибо
одновременно ложны, либо одновременно
истинны при любом наборе значений
высказываний, входящих в эти формулы,
что и показано в таблице истинности:

0

0

1

1

0

1

0

1

1

1

0

1

1

1

0

0

1

1

0

1

Определение
13.
Формула
называется тавтологией
или тождественно
истинной
,
если она принимает значение «истина»
при всех значениях входящих в неё
переменных.

Формулы
иравносильны тогда и только тогда, когда
их эквивалентностьтождественно истинна. Записьозначает, что формулаявляется тождественно истинной.

Теорема.
тогда и только тогда, когда.

Каждое
высказывание вида
– тавтология.

Определение
14.
Логическая
формула
называетсятождественно
ложной
,
или противоречием
(записывается
),
если для всех наборов значений входящих
в нее переменных (высказываний) она
принимает значение 0 («ложь»), т. е. если
высказывание ложно в каждом случае.

Таблица
истинности для противоречия содержит
только значения 0 в итоговом столбце.

Заметим,
что отрицание любой тавтологии есть
противоречие:
.

Определение
15.
Формулы,
не являющиеся ни тавтологией, ни
противоречием, называются выполнимыми
(разрешимыми)
.
Таблица истинности таких формул содержит
как 1, так и 0.

Равносильность
формул можно доказывать либо с
помощью таблиц истинности
,
либо методом
равносильных

(эквивалентных) преобразований,
используя основные равносильности
алгебры логики высказываний. Основные
равносильности называют законами
логики, они также применяются для
упрощения
формул
,
для приведения формул к заданному виду.

Основные
равносильности алгебры высказываний:

  1. –ассоциативность
    операций
    и;

  2. –коммутативность
    операций
    и;

  3. –закон
    идемпотентности;

  4. –законы
    дистрибутивности;

  5. –законы
    поглощения;

  6. –законы
    склеивания;

  7. –законы
    Порецкого;

  8. –законы
    де
    Моргана;

  9. ;

  10. ;

  11. ;

  12. –закон
    двойного отрицания;

  13. –закон
    исключения третьего;

  14. –закон
    противоречия;

  15. –закон
    контрапозиции.

Пример
4.

Докажите
равносильность с помощью формул алгебры
высказываний:

а)
;

б)
.

Решение:

a)
используя формулу,
запишем:,
тогда по закону де Моргана
и по закону двойного отрицания
получим,
что и требовалось доказать;

б)
преобразуем
левую
и правую части к одному и тому же виду.
Согласно законам де Моргана и двойного
отрицания получим следующие выражения.

Левая
часть:
.

Правая
часть:

После
равносильных преобразований получили
одинаковые формулы. Равносильность
доказана.

Вопросы
и задачи для самостоятельного решения

1.
Определите, какие из следующих предложений
являются высказываниями:

а)
«ученики школы»;

б)
«7 + 5 = 12»;

в)
«сегодня плохая погода»;

г)
«если
,
то»;

д)
«у каждого человека есть домашнее
животное»;

е)
«для всех действительных чисел
иверно равенство»;

ж)
«треугольник
равен треугольнику»;

и)
«берегись автомобиля!».

2.
Составьте таблицы истинности для
логических формул:

а)
;
г);

б)
;
д).

в)
.

3.
Запишите следующие высказывания в
символической форме и укажите
соответствующую таблицу истинности:

а)
«неверно, что ни Евгений, ни Николай не
умеют играть на гитаре»;

б)
«если числовая последовательность
монотонна и ограничена, то она имеет
предел»;

в)
«неверно, что если белый кубик больше
зеленого, а зеленый – больше синего, то
синий кубик больше белого».

4.
Проверьте с помощью таблицы истинности,
будут ли эквивалентны следующие
логические формулы:

а)
;

б)
;

в)
.

5. Используя
основные законы логических операций,
докажите равносильность формул
и,
когда:

Дополнительные
логические операции
.
Кроме
указанных ранее логических операций
(отрицание, конъюнкция, дизъюнкция,
импликация, эквивалентность), существуют
и другие. Например, операция, через
которую могут быть выражены все ранее
указанные логические операции – штрих
Шеффера
.
Эта операция обозначается символом
.

Таблица
истинности штриха Шеффера:

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

Штрих
Шеффера

,
или антиконъюнкция,
по определению
(читается «несовместимо с»).

В
дополнение к ранее указанным пяти
основным операциям перечислим новые
логические операции (табл. 2).

Таблица
2

studfiles.net

Логические операции — это… Что такое Логические операции?

Логические операции [logi­cal operations]. С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве.

Одно из основных понятий математической логики — высказывание. Не стремясь к излишней математической строгости, можно сказать, что высказывание — это выражение, относительно которого можно сделать вывод  o его истинности или ложности. Например, «Ах!» — это не высказывание, а выражение — «Иван Иванович Иванов ~ телевизор» — высказывание, так как можно утверждать — оно ложно.

Знак ~ заменяет здесь слово «эквивалент» и связывает два имени: «Иван Иванович Иванов» и «телевизор». Каждое из этих имен высказыванием не является, тогда как все выражение — высказывание.

Над высказываниями можно производить определенные операции. Например, если заданы два высказывания, обозначенные логическими переменными A и B, то можно составить новое высказывание: «A и B«. При этом связка «и» заменяется символом˄; тогда запишем «A ˄ B«.  Можно также составить выражение «A или B«. Связка «или» обозначается с помощью символа ˅ . Можно представить себе высказывание «из A следует B»: «A ⟾ B». Наконец, можно составить отрицание данного высказывания: «не A». Для операции отрицания используют целый ряд обозначений.

ך˅˄˥˜

Например:  ך А , ~А, Ᾱ.

Придадим каждому из высказываний определенное значение истинности. Например, «А» = И, а «В» = Л, т.е. «А — истинно», а «В — ложно», тогда можно рассмотреть истинность перечисленных выше высказываний.

Начнем с самого простого — с отрицания: если А — истинно, то «не А — ложно».


Наоборот, если «А — ложно», то  Ᾱ— истинно. Эти очевидные факты могут быть представлены в виде таблицы:

 

Отрицание

Аналогично можно рассмотреть и другие операции:

     Конъюнкция

( «И» )

А            В            А ˄  В

            Дизъюнкция

(«ИЛИ»)

А               В           А  ˅  В

И
И
Л
Л

 

И

Л

И

Л

И

Л

Л

Л

И

И

Л

Л

И

Л

И

Л

И

И

И

Л

          Импликация

(«если…то»)

А             В         А ⟾В

Эквивалентность

(«равносильно»)

А             В           А  =  В

И

И

Л

Л

 

 

 

 

И

Л

И

Л

И

Л

И

И

И

И

Л

Л

И

Л

И

Л

И

Л

Л

И

Можно рассмотреть еще одну Л.о. — «А тогда, и только тогда, когда В«. Ее можно записать:

(А <=>  В)   ≡ (АВ)  ˄ (ВА)

Рассмотренная выше логика допускает только два значения истинности для высказывания — истинно и ложно, причем высказывание не может быть истинным и ложным одновременно. Поэтому она называется логикой с исключенным третьим.

Важную аналогию можно установить, заменив условное обозначение «И» на единицу, а «Л» на нуль. Тогда окажется, что логика аналогична системе действий над двоичными числами, на основе которой работают все компьютеры.

Экономико-математический словарь: Словарь современной экономической науки. — М.: Дело.
Л. И. Лопатников.
2003.

economic_mathematics.academic.ru

Простейшие логические операции в информатике

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

Отрицание

Перед тем как начать подробно рассматривать конкретные примеры, перечислим основные логические операции в информатике:

  • отрицание;
  • сложение;
  • умножение;
  • следование;
  • равенство.

Также перед началом изучения логических операций стоит сказать, что в информатике ложь обозначается «0», а правда «1».

Для каждого действия, как и в обычной математике, используются следующие знаки логических операций в информатике: ¬, v, &, ->.

Каждое действие возможно описать либо цифрами 1/0, либо просто логическими выражениями. Начнём рассмотрение математической логики с простейшей операции, использующей всего одну переменную.

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

При записи этого выражения используется следующее обозначение «¬A».

Приведём таблицу истинности — схему, которая показывает все возможные результаты операции при любых исходных данных.

Таблица истинности для инверсии
Ахо
¬Aох

То есть, если у нас исходное выражение — истина (1), то его отрицание будет ложным (0). А если исходное выражение — ложь (0), то его отрицание — истина (1).

Сложение

Оставшиеся операции требуют наличия двух переменных. Обозначим одно выражение — А, второе — В. Логические операции в информатике, обозначающие действие сложения (или дизъюнкция), при написании обозначаются либо словом «или», либо значком «v». Распишем возможные варианты данных и результаты вычислений.

  1. Е=1, Н=1 ,тогда Е v Н = 1. Если оба выражения истинны, тогда и их дизъюнкция также истинна.
  2. Е=0, Н=1 ,в итоге Е v Н = 1. Е=1, Н=0 , тогда Е v Н= 1. Если хотябы одно из выражений истинно, тогда и результат их сложения будет истиной.
  3. Е=0, Н=0 ,результат Е v Н = 0. Если оба выражения ложны, то их сумма также — ложь.

Для краткости создадим таблицу истинности.

Дизъюнкция
Еххоо
Нхохо
Е v Нхххо

Умножение

Разобравшись с операцией сложения, переходим к умножению (конъюнкции). Воспользуемся теми же обозначениями, которые были приведены выше для сложения. При письме логическое умножение обозначается значком «&», либо буквой «И».

  1. Е=1, Н=1 ,тогда Е & Н = 1. Если оба выражения истинны, тогда их конъюнкция — истина.
  2. Если хотя бы одно из выражений — ложь, тогда результатом логического умножения также будет ложь.
  • Е=1, Н=0, поэтому Е & Н = 0.
  • Е=0, Н=1, тогда Е & Н = 0.
  • Е=0, Н=0, итог Е & Н = 0.
Конъюнкция
Ехх00
Нх0х0
Е & Нх000

Следствие

Логическая операция следования (импликация) — одна из простейших в математической логике. Она основана на единственной аксиоме — из правды не может следовать ложь.

  1. Е=1, Н=, поэтому Е -> Н = 1. Если пара влюблена, то они могут целоваться — правда.
  2. Е=0, Н=1, тогда Е -> Н = 1. Если пара не влюблена, то они могут целоваться — также может быть истиной.
  3. Е=0, Н=0, из этого Е -> Н = 1. Если пара не влюблена, то они и не целуются — тоже правда.
  4. Е=1, Н=0, результатом будет Е -> Н = 0. Если пара влюблена, то они не целуются — ложь.

Для облегчения выполнения математических действий также приведём таблицу истинности.

Импликация
Еххоо
Нхох0
Е -> Нхохх

Равенство

Последней рассмотренной операцией станет логическое тождественное равенство или эквивалентность. В тексте оно может обозначаться как «…тогда и только тогда, когда…». Исходя из этой формулировки, напишем примеры для всех исходных вариантов.

  1. А=1, В=1, тогда А≡В = 1. Человек пьёт таблетки тогда и только тогда, когда болеет. (истина)
  2. А=0, В=0, в итоге А≡В = 1. Человек не пьёт таблетки тогда и только тогда, когда не болеет. (истина)
  3. А=1, В=0, поэтому А≡В = 0. Человек пьёт таблетки тогда и только тогда, когда не болеет. (ложь)
  4. А=0, В=1 ,тогда А≡В = 0. Человек не пьёт таблетки тогда и только тогда, когда болеет. (ложь)
Эквивалентность
Ахохо
Вхо0х
А≡Вххоо

Свойства

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

А v В & ¬В -> В ≡ А

Порядок выполнения действий следующий.

  1. ¬В
  2. В&(¬В)
  3. А v(В&(¬В))
  4. (А v(В&(¬В)))->В
  5. ((А v(В&(¬В)))->В)≡А

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

Решение примера
АВ

¬В

В&(¬В)

А v(В&(¬В))

(А v(В&(¬В)))->В

((А v(В&(¬В)))->В)≡А

хохоххх
ххооххх
оохоохо
охооохо

Как мы видим, результатом решения примера станет последний столбец. Таблица истинности помогла решить задачу с любыми возможными исходными данными.

Заключение

В этой статье были рассмотрены некоторые понятия математической логики, такие как информатика, свойства логических операций, а также — что такое логические операции сами по себе. Были приведены некоторые простейшие примеры для решения задач по математической логике и таблицы истинности, необходимые для упрощения этого процесса.

fb.ru

Основные логические операции




⇐ ПредыдущаяСтр 5 из 13Следующая ⇒

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

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

Логика – это наука о формах и способах мышления.

Основы формальной логики заложил древнегреческий мыслитель Аристотель.

Логические переменные в алгебре логики обозначаются прописными латинскими буквами, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).

Логическое умножение (конъюнкция) «И» AÙB

AÙBистинно тогда и только тогда, когда оба высказывания Aи B истинны.

Логическое сложение (дизъюнкция) «ИЛИ» AÚB

AÚBложно тогда и только тогда, когда оба высказывания A и Bложны.

Логическое отрицание (инверсия) «НЕ» ØA,( )

Логическое отрицание (инверсия) делает истинное выражение ложным и, наоборот, ложное – истинным.

 

Таблица истинности для основных логических функций

A B AÙB конъюнкция AÚB дизъюнкция ØA инверсия

 

 

Логические элементы ЭВМ

Логический элемент компьютера – это часть электронной логической схемы, которая реализует элементарную логическую функцию.

Логический элемент – простейшая структурная единица ЭВМ – выполняющая определенную логическую операцию над двоичными переменными согласно правилам алгебры логики.

Реализуется обычно на электронных приборах (полупроводниковых диодах, транзисторах) и резисторах, либо в виде интегральной микросхемы; имеет несколько входов для приема сигналов, соответствующих исходным переменным, и выход для выдачи сигнала, соответствующего результату операций. Для логических элементов приняты дискретные значения входных и выходных сигналов («0» и «1»).


Базовые логические элементы ЭВМ реализуют три основные логические операции:

конъюнктор – логический элемент «И» логическое умножение;

дизъюнктор – логический элемент «ИЛИ» логическое сложение;

инвертор – логический элемент «НЕ» инверсию.

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

Логические элементы компьютера оперируют с сигналами, представляющими собой электрические импульсы. Есть импульс – логический смысл сигнала 1, нет импульса – 0. На входы логического элемента поступают сигналы-значения аргументов, на выходе появляется сигнал-значение функции.

Преобразование сигнала логическим элементом задается таблицей состояния, которая фактически является таблицей истинности, соответствующей логической функции.

Конъюнктор

Конъюнкция – соответствует союзу «И», обозначается знаком Ù, иначе называется логическим умножением. Конъюнкция двух логических переменных истинна тогда и только тогда, когда обе переменные истинны.

Таблица истинности
функции логического умножения:

Конъюнктор (логический элемент «И») – реализует операцию конъюнкции.

На входы А и В логического элемента «И» подаются два сигнала (00, 01, 10, 11). На выходе получается сигнал 0 или 1 в соответствии с таблицей истинности операции логического умножения.

Дизъюнктор

Дизъюнкция – соответствует союзу «ИЛИ», обозначается знаком Ú, иначе называется логическим сложением. Дизъюнкция двух логических переменных истинна тогда, когда истинна хотя бы одна переменная.



Таблица истинности
функции логического сложения:

Дизъюнктор (логический элемент «ИЛИ») – реализует операцию дизъюнкции.

На входы А и В логического элемента «ИЛИ» подаются два сигнала (00, 01, 10 или 11). На выходе получается сигнал 0 или 1 в соответствии с таблицей истинности операции логического сложения.

 

Инвертор – логический элемент «НЕ»

Присоединение частицы «НЕ» к высказыванию называется операцией логического отрицания или инверсией.

Логическое отрицание (инверсия) делает истинное выражение ложным и, наоборот, ложное – истинным.

Операцию логического отрицания (инверсию) над логическим высказыванием A в алгебре логики принято обозначать ØA.

Таблица истинности
функции логического отрицания:

Инвертор – реализует операцию отрицания, или инверсию.

На вход А логического элемента подается сигнал 0 или 1. На выходе получается сигнал 0 или 1 в соответствии с таблицей истинности инверсии.

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

 

 



Рекомендуемые страницы:

lektsia.com

Логическая операция — это… Что такое Логическая операция?

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

Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объёма понятий, а также образование новых понятий.

К операциям, которые связаны преимущественно с изменением содержания понятий, относятся:

К операциям, которые связаны преимущественно с объёмами понятий, относятся:

Данные операции могут быть записаны математически с помощью теории множеств.

Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений.

Математическая логика

Логическая операция (логический оператор, логическая связка, пропозициональная связка) — операция над высказываниями, позволяющая составлять новые высказывания путем соединения более простых[1].

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

Программирование

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

В некоторых языках программирования (например в C) вместо логического типа или одновременно с ним используются числовые типы. В этом случае считается, что отличное от нуля значение соответствует логической истине, а ноль — логической лжи.

Значение отдельного бита также можно рассматривать как логическое, если считать, что 1 означает «истинно», а 0 — «ложно». Это позволяет применять логические операции к отдельным битам, к битовым векторам покомпонентно и к числам в двоичном представлении поразрядно. Такое одновременное применение логической операции к последовательности битов осуществляется с помощью побитовых логических операций. Побитовые логические операции используются для оперирования отдельными битами или группами битов, применяются для наложения битовых масок, выполнения различных арифметических вычислений.

Среди логических операций наиболее известны конъюнкция (&&), дизъюнкция (||), отрицание (!). Их нередко путают с битовыми операциями, хотя это разные вещи. Например, следующий код на языке C:

if (action_required && some_condition()) 
{
    /* какие-то действия */
}

не выполнит вызов подпрограммы some_condition(), если значение логической переменной action_required ложно. При такой операции второй аргумент операции && вообще не будет вычислен.

В языках программирования

В следующей таблице для некоторых языков программирования приведены встроенные операторы и функции, реализующие логические операции.

ЯзыкНЕИИЛИИскл. ИЛИЭквив.Не экв.Другие
С++[2]!&&||^==!=
Fortran[3].NOT..AND..OR..XOR..EQV..NEQV.
Java[4]!&&||^==!=
Pascal[5]notandorxor=<>
PL/I[6]¬&|¬=¬=BOOL
^^^=
Prolog[7]\+,;

Примечания

См. также

Ссылки

  Логика
Формальная

Логические операции с понятиями


Изменение содержания понятия: отрицание • ограничение • обобщение • деление
Изменение объёма понятия: сложение • умножение • вычитание
Типы: Многозначная логика • Бинарная логика

Законы: Закон обратного отношения между содержанием и объёмом понятия

Математическая
(теоретическая,
символическая)

Логические связки (операции) над высказываниями


Высказывание — построение над множеством {B, , , , 0, 1}
В — непустое множество, над элементами которого определены три операции: конъюнкция ( или &,бинарная) • дизъюнкция (,бинарная) • отрицание (,унарная)

2 константы: импликация () • Круги Эйлера/Диаграмма Венна • Теория множеств

dikc.academic.ru

Логическая операция Википедия

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

Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объёма понятий, а также образование новых понятий.

К операциям, которые связаны преимущественно с изменением содержания понятий, относятся:

К операциям, которые связаны преимущественно с объёмами понятий, относятся:

Данные операции могут быть записаны математически с помощью теории множеств.

Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений.

Математическая логика[ | ]

Логическая операция (логический оператор, логическая связка, пропозициональная связка) — операция над высказываниями, позволяющая составлять новые высказывания путём соединения более простых[1].

В качестве основных обычно называют конъюнкцию (∧{\displaystyle \land } или &), дизъюнкцию (∨{\displaystyle \lor }), импликацию (→{\displaystyle \to }), отрицание (¬{\displaystyle \neg }).
В смысле классической логики логические связки могут быть определены через алгебру логики. В асинхронной секвенциальной логике определена логико-динамическая связка в виде операции венъюнкции (∠{\displaystyle \angle }).

ru-wiki.ru