что такое инверсия в информатике

Что такое инверсия в информатике

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

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

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

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

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

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

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

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

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

Источник

Урок на тему «Логические операции. Отрицание (инверсия)»

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

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

В естественном языке операцию отрицания заменяют частицей «не».

На письме отрицание обозначается чертой над высказыванием:

обозначение операции отрицания

В литературе, а также в заданиях ЕГЭ и ГИА отрицание обозначается иначе:

обозначение отрицания в литературе

Чтобы ввести символ отрицания, необходимо на клавиатуре нажать сочетание клавиш Alt + 0172, причем 0172 набирать на цифровой панели с включенным режимом Num Lock (светодиод должен гореть). В результате должно получиться так ¬.

Рассмотрим пример. Пусть есть высказывние «Москва — столица России«. Обозначим его A, то есть A = «Москва — столица России». Тогда ¬A — отрицание высказывания A, а значит читаться ¬A будет так «Москва — НЕ столица России«.

A = «2 плюс 2 равно 4», тогда ¬A = «2 плюс 2 НЕ равно 4».

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

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

Автор: Александр Чернышов

Оцените статью, это очень поможет развитию сайта.

Источник

Что такое инверсия в информатике

§ 2. Логические операции. Формализация высказываний

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

Названия операции

Возможные обозначения

Конъюнкция, логическое умножение, операция И, операция AND.

`&, ^^, *,` по аналогии с алгебраическим умножением может никак не обозначаться

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

Строгая дизъюнкция, разделительная дизъюнкция, исключающее ИЛИ, сложение по модулю `2`.

Эквивалентность, эквиваленция, равенство, равнозначность.

Импликация, следование, следствие

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

1) `p` и `q` ложны. Это значит, что четырёхугольник не является квадратом и его стороны не равны. Это возможная ситуация.

2) `p` – ложно, `q` – истинно. Это значит, что четырёхугольник не является квадратом, но стороны у него равны. Это возможно (ромб).

3) `p` – истинно, `q` – истинно. Это значит, что четырёхугольник является квадратом и стороны у него равны. Это возможная ситуация.

4) `p` – истинно, `q` – ложно. Это значит, что четырёхугольник является квадратом, но стороны у него не равны. Это невозможная ситуация.

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

Источник

Логические операции. ➞ Что такое конъюнкция, дизъюнкция, импликация

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

Основные положения

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

Логическим высказыванием называется утверждение (или запись), которое мы можем однозначно классифицировать, как истинное или ложное (1 или 0 в информатике).

Примером таким высказываний будут являться:

Логические высказывания делятся на два типа — простые и сложные.

В алгебре логики, как простые, так и сложные высказываниями описываются булевыми выражениями.

Булево выражение – это символическое (знаковое) описание высказывания.

Операции

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

Конъюнкция

Конъюнкция (булево умножение) — функция, по своему смыслу приближенная к союзу «И». При выполнении конъюнкции результат истинен (равен 1) тогда и только тогда, когда истинны ВСЕ переменные. Если хотя бы одно из высказываний ложно, то ложно и всё выражение (равно 0).

Функция может работать как с двумя операндами (высказываниями), так и с тремя, четырьмя и т.д. В математике обозначается с помощью знаков ​\( \wedge \) и &. Обозначение в языках программирования AND, &&. Таблица истинности для двух операндов:

Дизъюнкция

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

Булево сложение, также как и умножение, может работать с произвольным количеством операндов. В математике обозначается как V, а в программировании с помощью OR или I.

Инверсия

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

Импликация

Также называется булевым следованием. В русском языке данной функции соответствует оборот «Если …, то …». Например, если на улице гремит гром, то стоит пасмурная погода.

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

Булева тождественность или равенство. На простом языке будет обозначено как «… эквивалентно (равно) …». Результат будет истинным тогда, когда все значения в выражении будут иметь одинаковую истинность.

Обозначается с помощью трех черточек или ⟺.

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

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

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

Пример

Дано два отрезка B = [2,10], C = [6,14]. Из предложенных вариантов ответа выберите такой отрезок A, что формула \( ((z \in A) \Longrightarrow (z \in B)) \vee (z \in C) \) истинна при любом значении z. Варианты ответа:

Решение: Подставим в уравнение \( ((z \in A) \Longrightarrow (z \in B)) \vee (z \in C) \) =1 значения B и C и составим таблицу истинности:

Получившаяся формула \( ((z \in A) \Longrightarrow (z \in [2,10])) \vee (z \in [6,14])=1 \). По условию ​​​\( z \in A \)=1.

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

Ответ: A = [3,11].

Видео

Заключение

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

Источник