какие существуют логические операции

Какие существуют логические операции

2) Логическое сложение или дизъюнкция:

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

3) Логическое отрицание или инверсия:

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

4) Логическое следование или импликация:

«A → B» истинно, если из А может следовать B.

Обозначение: F = A → B.

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

5) Логическая равнозначность или эквивалентность:

Источник

Информатика

Обложка урока взята с источника.

Именная карта банка для детей
с крутым дизайном, +200 бонусов

Закажи свою собственную карту банка и получи бонусы

План урока:

Универсальный подход помогает решать разнотипные задачи, даже не вникая в условие детально. Именно для этого нужны логические задачи и универсальные способы решения. Существует множество подходов, но наиболее распространены 3 основных:

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

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

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

Алгебра логики и решение задач

Несмотря на то, что логика, как наука о размышлении, существовала еще 5 в. До н.э., теперь это важная часть многих наук, а не только философии и риторики. Также логика существует, как отдельная наука уже более 200 лет.

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

Стоит остановиться на базовых понятиях алгебры логики:

Логическая переменная – обозначение логического выражения, которое может быть true (t, правда, истина, да, 1) – false (f, ложь, нет, 0).

Формула– символьный способ выражения операции между переменными при помощи специальных знаков и скобок ().

Логическое высказывание – утверждение, в котором говорится только правда или только ложь.

Образец таких предложений: «Луна – вертится вокруг Марса» – ложно, а «После зимы всегда приходит весна» – истинно.

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

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

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

Чтобы образовать такое составное предложение в обычной жизни, используют связки И, ИЛИ, НЕ. А научный подход заменил их на конъюнкцию, дизъюнкцию, инверсию и более сложные операции. Все эти процессы выражают словесно, таблично (таблицы истинности) или графически (диаграммы Эйлера-Венна).

Простые выражения содержат лишь одно выражение (правдивое или нет), и не содержит никаких логических операций.

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

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

Конъюнкция множеств А и В:

Сложное выражение (Ā)∨(A∧B), составленное из элементарных Ā, A∧B и их комбинации, графическое выражение:

Источник

Логические операции и выражения

Логика
Логические операции и выражения
Таблица истинности
Логический элемент

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

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

Существует три основных логических операции при помощи которых можно записать любое логическое выражение (не пугайтесь):

1. Инверсия
2. Конъюнкция
3. Дизъюнкция

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

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

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

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

Логический элемент выполняющий операцию «Логическое И»

Логический элемент выполняющий операцию «Логическое ИЛИ»

Логический элемент выполняющий операцию «Логическое НЕ»

Логический элемент выполняющий операцию «Исключающее ИЛИ»

Логический элемент выполняющий операцию «Логическое ИЛИ-НЕ»

Логический элемент выполняющий операцию «Логическое И-НЕ»

Кроме таких комбинаций логических операций существует еще ряд других.

Кстати, есть еще одна разновидность логики – женская логика. Весьма интересная штука. Но так как она к сегодняшней теме не относится, то придется, к сожалению, этот вопрос опустить.

(25 голосов, оценка: 4,68 из 5)

Источник

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

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

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

Конъюнкция

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

A ˄ B = F

Таблица истинности для этого выражения будет выглядеть так:

То есть, чтобы результат (поступление) был истинный (равен 1), обе переменные, связанные логическим умножением, должны быть истинны. Проще говоря, если вы, к примеру, сдадите математику, но завалите русский, вы никуда не поступите (результатом будет ложь).

Таким образом, конъюнкция истинна только в одном случае – когда обе переменные истинны.

Дизъюнкция

Дизъюнкция – это логическое сложение. Также принято называть её логическим «ИЛИ». Записывается в виде символов:

А ˅ B = F

Таблица истинности для этого выражения будет выглядеть так:

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

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

Импликация

Импликация – это логическое следование. Импликацию можно сравнить с о связкой «если. то». Записывается в виде горизонтальной стрелки, направленной вправо (→).

Импликацию можно обозначить как связь начальника и исполнителя. Приведём пример.

A → B = F

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

Если учитель ничего не задал, и ученик ничего не сделал – учитель двойку не поставит. Если учитель не задал, а ученик сделал – двойки также не будет. Если учитель задал, и ученик выполнил – оценка будет положительной. Но если учитель задал, а ученик не сделал – оценка будет отрицательной.

Проще говоря, импликация ложна только в одном случае: если первое выражение истинно, а второе – ложно.

Эквиваленция

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

Таблица истинности для выражения A≡B выглядит так:

Инверсия

Инверсия – это логическое отрицание. Её также называют логическим «НЕ». Записывается в виде символов:

а также верхним подчеркиванием переменной.

Инверсия меняет значение переменной на противоположное, то есть:

Источник

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

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

Виды операций

В программировании выделяют следующие виды функций:

Логическое умножение (конъюнкция)

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

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

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

A, B — исходные данные;

A и B — значение, приобретаемое в результате реализации конъюнкции.

Из таблицы следуют свойства логического умножения:

Логическое сложение (дизъюнкция)

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

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

A, B — входная информация;

A или B — значение, приобретаемое в результате выполнения дизъюнкции.

Для дизъюнкции справедливы следующие утверждения:

Логическое отрицание (инверсия)

Инверсия — выражение, ставящее в соответствие одному значению противоположное.

Условное обозначение логического отрицания: с помощью частицы «не», символов ¯, \(\neg.\)

Таблица истинности инверсии:

A — исходные данные;

не A — значение, приобретаемое в результате логического отрицания.

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

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

Следование записывается с помощью знака \(\rightarrow.\)

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

A — входная информация, означающая условие;

B — входная информация, означающая следствие;

A → B — значение, приобретаемое в результате импликации.

По своему употреблению данная связка схожа со значением союзов «если. то. ».

Логическая равнозначность (эквивалентность)

Эквивалентность — выражение, являющееся истинным лишь в случае равенства двух входных элементов.

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

Стрелка Пирса

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

Данная манипуляция является отрицание логического сложения. Свое название рассматриваемая функция получила от своего автора — американского ученого Чарльза Пирса.

Таблица истинности для этой операции следующая:

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

Пример

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

Штрих Шеффера — это действие, приводящее к ложному итогу лишь при истинности обоих исходных данных. По порядку выполнения операций эта функция эквивалентна отрицанию конъюнкции.

Символ Шеффера назван по фамилии своего создателя — американского логика Генри Шеффера — и обозначается посредством знака \(\vert.\)

Таблица истинности для данной функции:

С помощью штриха Шеффера можно воспроизвести другие логические манипуляции.

Пример

Порядок выполнения операций

В составном логическом выражении действия выполняются в такой последовательности:

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

Источник