Site Loader

V, +

Содержание

4. Конъюнкция

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

5. Дизъюнкция

(лат. disjunctio — разделение) – логическая
операция, выражаемая связкой «или”,
называемая логическим сложением и
обозначаемая знаком v (или плюсом).
Высказывание АvВ ложно тогда и только тогда,
когда оба высказывания А и В ложны.

6. Отрицание

Логическая операция, выражаемая словом «НЕ»
Обозначается чертой над высказыванием
(или знаком ¬).
Результат отрицания — истина, если A ложно, и
ложь, если A истинно.

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

ТАБЛИЦА ИСТИННОСТИ – значения логической
формулы для всех наборов значений
переменных
РАЗМЕРЫ Т.И. :
Количество строк в ТИ находится по формуле:
Q=2n, где n – количество переменных
Количество столбцов:
R=n+k, где k – количество простых
логических операций в формуле

8. Таблицы истинности для базовых операций

Отрицание:
Конъюнкция:
Дизъюнкция:

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

(При выполнении логических операций учитываются
скобки! )
Иначе:
1) сначала выполняется операция отрицания («не»)
2) затем конъюнкция («и»)
3) после — дизъюнкция («или»)

10. Задание

Составьте таблицу истинности для логической
функции формулы:
F(A,B) = А&В v ¬А

11. Основные законы алгебры логики

12. Закон идемпотентности (одинаковости)

A& A A
A A A
Действия с константами
и отрицаниями
A& A 0
A A 1
A &1 A
A 1 1
A&0 0
A 0 A

14. Закон двойного отрицания (исключенного третьего)

A A

15. Закон коммутативности (переместительный)

x&y y&x
x y y x

16. Закон дистрибутивности (распределительный)

x & (y z) (x & y) (x & z)
x (y & z) (x y) & (x z)

17. Закон ассоциативности (сочетательный)

(x & y) & z x & (y & z)
(x y) z x (y z)

18. Закон де Моргана

x& y x y
x y x& y

19. Формулы склеивания

(A & B) (A & B) A
(A B) & (A B) A

20. Формулы поглощения

A ( A & B) A
A & ( A B) A
A ( A & B) A B
A & ( A B) A & B

21. Напишите формульное выражение

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
Действий с инверсиями
Закона ассоциативности
Действий с константами
Закона идемпотентности
Закона дистрибутивности
Закона де Моргана
Закона коммутативности
Закона Склеивания
Закона двойного отрицания
Закона Поглощения

22. Упростите выражение. Выполните проверку при помощи таблицы истинности.

1.
2.
3.
4.

23. Упростите логическое выражения

( A & B & C ) ( A & ( B C )) A
( A A & B) & ( A A & B)
( B C & B) & ( B & C )
A& B A& B &C
( A & B C BC) & ( A & B BC )

24. Контактные схемы

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

26. Контактные схемы

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

Логические операции: определения, обозначения, таблицы истинности

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

Основные термины

Высказывание – предложение, которое выражает некоторое суждение, по которому определяется, истинно оно (обозначается цифрой “1”) или ложно (пишется как “0”).

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

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

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

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

Умножение (конъюнкция)

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

Обозначается таким образом: F = A & B.

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

Сложение (дизъюкция)

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

Записывается так: F = A + B.

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

Отрицание (инверсия)

Инверсия – это сложное логическое выражение, получаемое следующим образом:

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

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

Следование (импликация)

Импликация – сложное логическое выражение, связывающее два простых выражения. При этом первое является условием (A), а второе – следствием (B). Выражение истинно всегда, за исключением случаев, когда из истины следует ложь.

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

Равнозначность (эквивалентность)

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

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

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

  • Инверсия
  • Конъюнкция
  • Дизъюнкция
  • Импликация
  • Эквивалентность

Чтобы изменить данный порядок, необходимо использовать скобки.

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

Информатика и ИКТ Лекция 6 1 курс

Информатика и ИКТ Лекция 6 1 курс ФГОУ СПО «УМТК» Кондаратцева Т.П. 1 Принципы обработки информации компьютером. Арифметические и логические основы работы компьютера ФГОУ СПО «УМТК» Кондаратцева Т.П. 2

Подробнее

Информатика и ИКТ Лекция 7 1 курс

Информатика и ИКТ Лекция 7 курс ГБОУ СПО «УМТК» Кондаратцева Т.П. Принципы обработки информации компьютером. Арифметические и логические основы работы компьютера ГБОУ СПО «УМТК» Кондаратцева Т.П. 2 Принципы

Подробнее

2 Перечень технических средств обучения

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

Подробнее

Тождества Булевой алгебры

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

Подробнее

Тема 9. Логические основы ЭВМ.

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

Подробнее

Решение заданий типа 18 ЕГЭ по информатике

Муниципальное бюджетное общеобразовательное учреждение города Абакана «Средняя общеобразовательная школа 11» Методическая разработка по теме Решение заданий типа 18 ЕГЭ по информатике Атюшкина Марина Валерьевна,

Подробнее

Законы алгебры логики

Законы алгебры логики Это интересно! Математика и закон де Моргана Как вы запишите математически принадлежность точки x отрезку [2;5]? Это можно сделать так: 2 x 5. Это означает, что одновременно должны

Подробнее

Логические основы ЭВМ. Алгебра логики

Логические основы ЭВМ. Алгебра логики Основные понятия Логика наука о законах и формах мышления, методах познания и условия определения истинности знаний и суждений. Понятие форма мышления, фиксирующая

Подробнее

A, A не A (отрицание, инверсия) A B, A B. A B = A B или в других обозначениях A B = A B

B4 Тема: Преобразование логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике (,, ), неудобны, интуитивно непонятны

Подробнее

Основы математической логики.

Основы математической логики. Киселев Александр Сергеевич Аничков лицей, 6 класс, первый год обучения январь-февраль 2012/13 учебный год 1 Высказывания и предикаты 1.1 Высказывания Определение 1.1. Определение:

Подробнее

A10 (базовый уровень, время 1 мин)

A10 (базовый уровень, время 1 мин) Тема: Преобразование логических выражений. Формулы де Моргана. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

A8 (базовый уровень, время 1 мин)

A8 (базовый уровень, время 1 мин) Тема: Преобразование логических выражений. Формулы де Моргана. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

B4 (высокий уровень, время 10 мин)

B4 (высокий уровень, время 1 мин) Тема: Преобразование логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике (,, ),

Подробнее

Бабкина Наталья Анатольевна

Бабкина Наталья Анатольевна Основы алгебры-логики. Цели- задачи: Знать: Основные понятия и законы алгебры логики. Уметь: Составлять выражения по сложным высказываниям, составлять таблицы истинности, упрощать

Подробнее

Основы алгебры логики

Основы алгебры логики Максименкова Ольга Вениаминовна, ст. преподаватель департамента программной инженерии ФКН НИУ ВШЭ, м.н.с. МНУЛ ИССА Чуйкин Николай Константинович, выпускник образовательной программы

Подробнее

Алгебра логики (высказываний)

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

Подробнее

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

Логические величины и выражения Логика это наука о формах и законах человеческого мышления и, в частности, о законах доказательных рассуждений. Алгебра логики (другое название — Булева алгебра) это область

Подробнее

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ АВТОМАТИКИ

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ федеральное государственное бюджетное образовательное учреждение высшего образования «Курганский государственный университет» Кафедра «Автоматизация

Подробнее

A9 (базовый уровень, время 2 мин)

A9 (базовый уровень, время 2 мин) Тема: Построение таблиц истинности логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

Исчисление предикатов

Исчисление предикатов Оглавление 1. Определение предиката 2. Множество истинности предиката 3. Классификация предикатов 4. Теоремы о тождественно истинных (тождественно ложных) и равносильных предикатах

Подробнее

Федеральное агентство по образованию Уральский государственный экономический университет Ю. Б. Мельников Булевы и логические функции Раздел электронного учебника для сопровождения лекции e-mail: [email protected],

Подробнее

Раздел 2. Основы логики высказываний.

Лекция 2 Раздел 2. Основы логики высказываний. Высказывание. Операции над высказываниями: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Истинностные таблицы. Пропозициональные буквы,

Подробнее

Логические основы работы ЭВМ

Министерство образования и науки Российской Федерации Государственное образовательное учреждение высшего профессионального образования «Тихоокеанский государственный университет» Логические основы работы

Подробнее

сайты:

Федеральное агентство по образованию Уральский государственный экономический университет Ю. Б. Мельников Булевы и логические функции Раздел электронного учебника для сопровождения лекции Изд. 3-е, испр.

Подробнее

Основные понятия формальной логики

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

Подробнее

Лекция 3 Булевы алгебры и булевы функции

Лекция 3 Булевы алгебры и булевы функции Булевы алгебры Понятие об алгебраических системах Алгебраическая система или алгебраическая структура множество символов некоторого алфавита (носитель) с заданным

Подробнее

A7 (повышенный уровень, время 3 мин)

A7 (повышенный уровень, время 3 мин) Тема: Основные понятия математической логики. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» К. Поляков, 2009 математической

Подробнее

A3 (базовый уровень, время 2 мин)

A3 (базовый уровень, время 2 мин) Тема: Построение таблиц истинности логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

Аксиоматический метод

Аксиоматический метод Лекция по предмету «основы мат. Обработки информации» Составитель: доцент кафедры ИТОиМ КГПУ им. В.П. Астафьева Романова Н.Ю. Аксиоматический метод построения научной теории заключается

Подробнее

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Тамбовский государственный технический университет»

Подробнее

ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ (продолжение)

ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ (продолжение) Число булевых функций от n переменных находится по формуле: P2 (n) = 2 2n Логических функций двух переменных 6 Наиболее часто употребляются следующие функции: f (x,

Подробнее

A3 (базовый уровень, время 2 мин)

A3 (базовый уровень, время 2 мин) Тема: Построение таблиц истинности логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

11) A A и правило вывода modus ponens A A B

Московский физико-технический институт Факультет инноваций и высоких технологий Математическая логика и теория алгоритмов, осень 2018 Семинар 4: исчисление высказываний, с некоторыми решениями В исчислении

Подробнее

B10 (высокий уровень, время 10 мин)

B0 (высокий уровень, время 0 мин) Тема: Преобразование логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике (,, ),

Подробнее

B15 (высокий уровень, время 10 мин)

B5 высокий уровень, время 0 мин) Тема: Преобразование логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике,, ), неудобны,

Подробнее

Задание 2. Значение логического выражения

Задание 2. Значение логического выражения Логические высказывания и переменные Логическое высказывание (Л.В.) это высказывание, в отношении которого можно однозначно сказать, истинно оно или ложно. Внимание!

Подробнее

B15 (высокий уровень, время 10 мин)

B высокий уровень, время 0 мин) К. Поляков, 009-0 Тема: Преобразование логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

Основные понятия алгебры логики.

Основные понятия алгебры логики. Для математического описания работы вычислительных устройств и их программного проектирования широко используется алгебра логики (булевская алгебра). Алгебра логики — часть

Подробнее

Математика (БкПл-100)

Математика (БкПл-100) М.П. Харламов 2011/2012 учебный год, 1-й семестр Лекция 4. Высказывания и логические операции 1 Введение Человек с древних времен стремился познать законы правильного мышления, то

Подробнее

Тема урока: Основы логики.

Аксютин Алексей Сергеевич Учитель информатики и ИКТ МБОУ «Арсеньевская СОШ» Тема урока: Основы логики. Цели: 1. Введение в предмет Алгебра логики. 2. Сформировать у учащихся понятия: формы мышления, алгебра

Подробнее

1.Основные сведения из алгебры логики

Тема 4. Логические основы ЭВМ 1.ОСНОВНЫЕ СВЕДЕНИЯ ИЗ АЛГЕБРЫ ЛОГИКИ… 1 2. ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ… 4 3. ПОНЯТИЕ О МИНИМИЗАЦИИ ЛОГИЧЕСКИХ ФУНКЦИЙ… 6 4.ТЕХНИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ ЛОГИЧЕСКИХ ФУНКЦИЙ…

Подробнее

ДИСКРЕТНАЯ МАТЕМАТИКА

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

Подробнее

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

Цели:

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

Задачи:

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

Тип урока: Данный урок подходит как для изучения нового материала, так и для закрепления изученного.

Ход урока:

1. Организационный момент. Приветствие учащихся.

2. Теоретический материал: изучение, повторение

Историческая справка. Логика – это очень древняя наука.

Основы формальной логики заложил ученый Древней Греции – Аристотель (384 г.-322 г. до н.э.) . Заслуга ученого состоит в том, что он отделил форму мышления от содержания, попытался соединить логику и математику, разработал раздел теории доказательств.

Немецкий ученый Лейбниц (1646-1716) взглянул на логику Аристотеля через призму математики. Им написан трактат — “Азбука мыслей”, сжатый и краткий язык символов. Лейбниц разработал идею логического исчисления. Рассуждения обозначил буквами, сложные высказывания — формулами. В результате удалось содержательные рассуждения заменить формальными вычислениями.

Джордж Буль считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику. Буль - автор известных произведений, в т.ч. работы “Математический анализ логики”(1847г.). Основной труд Джорджа Буля — “Исследование законов мысли”, в котором представлен раздел логики - алгебра высказываний.

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

Основными формами мышления являются

  • понятие,
  • высказывание,
  • умозаключение.

Понятие — это форма мышления, фиксирующая основные, существенные признаки объекта.

Пример. Клавиатура — устройство ввода символьной информации в компьютер.

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

Пример: Все дети любят лечить зубы (ложь).

Все взрослые были детьми (истина).

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

Пример: доказательство теорем в геометрии.

Алгебра высказываний

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

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

Для образования новых высказываний наиболее часто используются базовые логические операции, выражаемые с помощью логических связок “и”, “или”, “не”. B 0 0 0 0 1 0 1 0 0 1 1 1

Конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно из высказываний ложно.

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

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

Обозначение: +, V.

На естественном языке: ИЛИ.

Пример. А V B – В вазе лежат “яблоки” ИЛИ “груши”

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

А В А V B
0 0 0
0 1 1
1 0 1
1 1 1

Дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно из высказываний истинно.

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

Обозначение: —>.

На естественном языке: если…, то…

Пример. А —> B – Если выучить материал, то сдашь зачет.

Таблица истинности логического следования

А В А —> B
0 0 1
0 1 1
1 0 0
1 1 1

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

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

Обозначение: , <—>, =.

На естественном языке: тогда и только тогда, когда

Пример. А B – Добиться результата в спорте можно тогда и только тогда, когда приложено максимум усилий.

Таблица истинности логического равенства

А В А <—> B
0 0 1
0 1 0
1 0 0
1 1 1

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

  • Дизъюнкция V;
  • Импликация >;
  • Эквивалентность .
  • Для изменения указанного порядка выполнения логических операций используются скобки.

    3. Практическая работа.

    Учащиеся выполняют задания. (презентация, слайды 17-23). После выполнения задания учащиеся проверяют правильность решения.

     Задание 1: Заполните таблицу. Истина – 1, Ложь — 0

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

    Задание 2: Запишите высказывание “если яблоко зеленое или мелкое, то оно твердое”, используя знаки логических операций.

    Задание 3: Определите результат логического выражения при заданных параметрах

    ¬( ¬B & ¬C ) U ¬( ¬A & ¬C ), при А=1, В=1, С=0.

    Задание 4: Для какого имени истинно высказывание:

    (Первая буква гласная) /\ (Четвёртая буква согласная) \/ (B слове четыре буквы)?

    1) СЕРГЕЙ
    2) АЛЕКСЕЙ
    3) АНТОН
    4) ИЛЬЯ

    Задание 5. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F:

    X Y Z F
    1 0 0 0
    0 1 0 0
    0 0 1 0

    Какое выражение соответствует F?

    1) (X ^ Y) ? (X Z)
    2) (X ^ Y) ? (X Z)
    3) (¬Х ^ Y) ? (X Z)
    4) ¬(X ^ Y) ? (X Z)

    4. Итоги урока. Вопросы учеников.

    5. Домашнее задание. Учить конспект, придумать аналогичные задания.

    6. Подведение итогов урока

    Анализ и оценка успешности достижения цели занятия. Определение перспективы последующей работы.

    Основные логические операции, таблицы истинности | Презентация к уроку:

    Слайд 1

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

    Слайд 2

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

    Слайд 3

    Конъюнкция — это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложенное выражение ложно. Обозначение: F = A & B . Таблица истинности для конъюнкции : Логическое умножение или конъюнкция :

    Слайд 4

    Дизъюнкция — это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выражен ь я ложны. Обозначение: F = A v B . Таблица истинности для дизъюнкции : Логическое сложение или дизъюнкция:

    Слайд 5

    Инверсия — это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО . Обозначение: F = ¬A . Таблица истинности для инверсии : Логическое отрицание или инверсия:

    Слайд 6

    Импликация — это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. То есть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием. «A → B» истинно, если из А может следовать B. Обозначение: F = A → B . Таблица истинности для импликации : Логическое следование или импликация:

    Слайд 7

    Эквивалентность — это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность. «A ↔ B» истинно тогда и только тогда, когда А и B равны. Обозначение: F = A ↔ B. Таблица истинности для эквивалентности : «A ⊕ B» истинно тогда, когда истинно А или B, но не оба одновременно. Эту операцию также называют «сложение по модулю два». Обозначение: F = A ⊕ B. Таблица истинности для XOR: Логическая равнозначность или эквивалентность и Операция XOR ( исключающие или)

    4

    2.5. Логические формулы. Таблицы истинности

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

    A ®ВÚС;

    (A « Ú) ® Ù ;                

    B ® Ú (С Ù B) « (A Ú B) Ù ® С  и т.д.

    Такие высказывания называются логическими формулами или булевыми функциями, а входящие в них простые высказывания – логическими переменными. Символы Ø, Ù, Ú, ®, « называют логическими связками.

             Формулы логики высказываний можно рассматривать двояко.

    1.     Принимая  А, В, С  за обозначение простых высказываний, логическая формула будет представляться как определенное сложное высказывание. Например, если обозначить А – «Будет дождь», В – «Я возьму зонт», С – «Я надену плащ», то A®ВÚС – запись сложного высказывания  «Если будет дождь, то я возьму зонт или надену плащ».

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

     

    Для правильного вычисления значения логических формул необходимо задать порядок выполнения логических операций. Сначала выполняется операция отрицания Ø, затем конъюнкция Ù и дизъюнкция Ú (они равноправны), затем импликация ® и, последней, эквивалентность «. Как и в алгебре, скобки необходимы для изменения порядка действий, а равноправные операции вычисляются слева направо.

    Таким образом, для вычисления значения выражения (A « Ú) ® Ùнеобходимо сначала определить и , затем выполнить дизъюнкцию Ú, после этого подсчитать значение выражения, стоящего в скобках: A«Ú, далее выполнить конъюнкцию высказываний Ù и, наконец, соединить вычисленные значения высказываний A «Ú и Ù с помощью импликации: (A « Ú) ® Ù. Порядок выполнения операций будет таков:

    .

    Пусть простые высказывания А и В истинны: А=1, В=1. Тогда и  являются ложными высказываниями: =0, =0. Также ложной будет и дизъюнкция Ú=0. Значение высказывания в скобках A«Ú=0, так как эквивалентность истина«ложь дает ложь. Конъюнкция  ложных высказываний Ùтакже ложна: Ù=0. Результирующее высказывание представляет собой соединение ложь®ложь, что по определению операции импликация есть истина. Значит, (A « Ú) ® Ù=1 при А=1 и В=1.

     

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

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

    Построим таблицу истинности для приведенного выше сложного высказывания:

    (A « Ú) ® Ù.

    Так как и А, и В могут принимать два значения, то различных комбинаций значений А и В будет четыре:

    А=1, В=1;

    А=1, В=0;

    А=0, В=1;

    А=0, В=0.

    Вычислим значение сложного высказывания в каждом случае по действиям.

     

    А

    В

    Ú

    A«Ú

    Ù

    (A « Ú) ® Ù

    1

    1

    0

    0

    0

    0

    0

    1

    1

    0

    0

    1

    1

    1

    0

    0

    0

    1

    1

    0

    1

    0

    0

    1

    0

    0

    1

    1

    1

    0

    1

    1

     

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

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

    А

    1

     

    0

    1

     

    0

     

     

    1

     

    0

    1

     

    0

    В

     

    1

     

     

    0

     

     

     

     

    1

     

     

    0

     

    С

     

     

     

     

     

    1

     

     

    0

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

    Если в сложном высказывании – n простых, то логических возможностей – строк таблицы истинности будет . К примеру, при n=10, число различных комбинаций значений переменных  — число строк таблицы .

     

    Пример 4.1. Построить таблицу истинности логической формулы:

    B ® Ú (С Ù B) « (A Ú B).

    Решение. Сначала определим порядок вычисления логических операций:

    .

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

     

    А

    В

    С

    С Ù B

    A Ú B

    Ú (С Ù B)

    B ® Ú (С Ù B)

    B ® Ú (С Ù B) « (A Ú B)

    1

    1

    1

    1

    1

    0

    1

    1

    1

    1

    1

    0

    0

    1

    0

    0

    0

    0

    1

    0

    1

    0

    1

    0

    0

    1

    1

    1

    0

    0

    0

    1

    0

    0

    1

    1

    0

    1

    1

    1

    1

    1

    1

    1

    1

    0

    1

    0

    0

    1

    1

    1

    1

    1

    0

    0

    1

    0

    0

    1

    1

    1

    0

    0

    0

    0

    0

    0

    1

    1

    1

    0

     

    На главную страницу

    Основные логические операции. Построение таблиц истинности высказываний.

    Практическая работа № 3

     

    1.       Краткие теоретические сведения.

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

    Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами:

    А = {Аристотель — основоположник логики};

    В = {На яблонях растут бананы}.

    Истинному высказыванию ставится в соответствие 1, ложному — 0. Таким образом, А = 1, В = 0.

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

    Логическая операция КОНЪЮНКЦИЯ (логическое умножение):

    • в естественном языке соответствует союзу и;

    • в алгебре высказываний обозначение &;

    • в языках программирования обозначение And.

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

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

    А

    В

    А & В

    0

    0

    0

    0

    1

    0

    1

    0

    0

    1

    1

    1

     

    Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение):

    • в естественном языке соответствует союзу или;

    • обозначение v;

    • в языках программирования обозначение Оr.

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

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

    А

    В

    А v В

    0

    0

    0

    0

    1

    1

    1

    0

    1

    1

    1

    1

     

    Логическая операция ИНВЕРСИЯ (отрицание):

    • в естественном языке соответствует словам неверно, что… и частице не; _

    • обозначение Ā;

    • в языках программирования обозначение Not.

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

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

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

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

    При построении таблиц истинности целесообразно руководствоваться определенной последовательностью действий.

    Пример: построить таблицу истинности для функции F = (А v В) & (Ā v В)

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

    количество строк =2n.

    В нашем случае логическая функция F = (А v В) & (Ā v В) имеет 2 переменные и, следовательно, количество строк в таблице истинности должно быть равно 4.

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

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

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

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

    Таблица: Таблица истинности логической функции F = (А v В) & (Ā v В)

     

    А

    В

    А v В

    Ā

    В

    Ā v В

    (А v В) & (Ā v В)

    0

    0

    0

    1

    1

    1

    0

    0

    1

    1

    1

    0

    1

    1

    1

    0

    1

    0

    1

    1

    1

    1

    1

    1

    0

    0

    0

    0

     

    2. Задания.

    1. Внимательно изучите теоретический материал.

    2. Даны простые высказывания:

    А = {Принтер — устройство ввода информации},

    В = {Процессор — устройство обработки информации},

    С = {Монитор — устройство хранения информации},

    D = {Клавиатура — устройство ввода информации}.

    Определите истинность составных высказываний:             (A & B) & (C v D)

    3. Записать составное высказывание «(2.2=4 и 3.3=9) или (2.2¹4 и 3.3¹9)» в форме логического выражения. Построить таблицу истинности.

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

    5. Доказать, используя таблицу истинности, что логические выражения ĀvВ  и  А&В  равносильны.

    3. Оформление отчета:

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

    2. Выполнить п. 2, 3, 4 и 5 задания в тетради.

    4. Контрольные вопросы.

    1. Приведите примеры ложных и истинных высказываний.

    2. Назовите связки, с помощью которых образуют сложные (составные) высказывания.

    3. Перечислить основные логические операции.

    4. Что содержат таблицы истинности и каков порядок их построения?


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

    Ключевые слова: логика, истина, ложь, отрицание, дизъюнкция, конъюнкция, импликация, равенство

    Математическое предложение — это предложение, в котором утверждается факт или содержится полная идея. Предложение, которое можно считать истинным или ложным, называется утверждением .
    Утверждение может быть истинным (T) или ложным (⊥) .
    P, Q, R, … заявления

    Пример:

    Эта девушка красивая.- не утверждение.

    Сегодня среда. — утверждение.

    Отрицание (¬) (не)

    Дизъюнкция (∨) (или)

    квартал

    P∨Q

    Соединение (∧) (и)

    квартал

    P∧Q

    Следствие (⇒) (если…, чем …)

    квартал

    P⇒Q

    Равенство (⇔) (двусмысленное)

    квартал

    P⇔Q

    Краткое содержание главы

    Глава 7

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

    Чтобы облегчить изучение логики высказываний, утверждения обычного языка переводятся в нотацию логики высказываний. Логическая запись включает заглавные буквы, A – Z для обозначения простых утверждений и логические операторы для обозначения составных элементов. Существует пять символов логических операторов: тильда , точка , клин , подкова и тройная черта.

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

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

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

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

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

    • Инклюзивная дизъюнкция: когда оба дизъюнкта могут быть истинными одновременно.

    • Исключительная дизъюнкция: когда оба дизъюнкта не могут быть истинными одновременно.

    • Порядок операций: порядок обработки логических операторов в предложении с функцией истинности; это пошаговый метод создания полной таблицы истинности.

    • Условные утверждения: утверждения, которые не обязательно истинны или ложны (иногда они верны, иногда ложны).

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

    • Тавтология: утверждение, которое обязательно верно.

    • Внутреннее противоречие: утверждение, которое обязательно ложно.

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

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

    • Согласованные утверждения: два (или более) утверждения, в соответствующих таблицах истинности которых есть хотя бы одна строка, где истинны основные операторы.

    • Несогласованные утверждения: два (или более) утверждения, у которых нет ни одной строки в соответствующих таблицах истинности, где основные операторы истинны.

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

    • Modus ponens : допустимая форма аргумента (также называемая , подтверждающая антецедент ).

    • Ошибка подтверждения консеквента: неверная форма аргумента; это формальная ошибка.

    • Modus tollens : допустимая форма аргумента (также называемая , отрицающая консеквент ).

    • Ошибка отрицания антецедента: неверная форма аргумента; это формальная ошибка.

    2.1 — Логические операторы — Eduqas GCSE (2020 spec)

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

    Exam Board:

    Eduqas / WJEC

    Спецификация:

    2020 +

    Что такое логический оператор?

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

    Это крошечные переключатели, которые можно либо включить (обозначено в двоичной системе цифрой 1), либо выключить (обозначено цифрой 0).

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

    Что такое таблица истинности?

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

    Входные и выходные значения в таблице истинности должны быть логическими значениями — обычно 0 или 1, но иногда True или False.

    NOT

    Логический оператор NOT создаст выходной сигнал, противоположный входному.

    НЕ отображается горизонтальной линией.

    Нотация логической алгебры

    NOT A A

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

    AND

    Логический оператор AND выведет 1, только если оба входа также 1.

    И обозначается точкой.

    Нотация логической алгебры

    A AND B A.B

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

    OR

    Логический оператор OR выведет 1, если любой из входных данных равен 1.

    ИЛИ обозначается плюсом.

    Нотация булевой алгебры

    A OR B A + B

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

    XOR

    Логический оператор XOR (исключающее ИЛИ) выведет 1, если входы разные, и 0, если входы такие же.

    XOR обозначается плюсом в кружке.

    Нотация булевой алгебры

    A XOR B A B

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

    Множественные операции

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

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

    Упрощение

    Вас могут попросить использовать таблицу истинности для упрощения выражения.

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

    A + B и A + (A + B) дают одинаковые значения, поэтому:

    A + (A + B) можно упростить как A + B.

    Вопросы Questo

    2.1 — Логические операторы:

    1.Скопируйте и заполните следующие таблицы истинности:

    1б. Упростите выражение во второй таблице истинности.

    2а. Кинотеатр использует компьютерную систему для отслеживания количества мест, выделенных для предстоящих фильмов. Если и премиум-места, и стандартные места распроданы, система отобразит сообщение. Укажите тип логического оператора в этом примере.

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

    Математические / сравнения / логические операторы, приоритетность, таблица истинности

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

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

    A B А И В A ИЛИ B НЕ
    Т Т Т Т F
    F Т F Т Т
    Т F F Т F
    F F F F Т

    Столбцы И и ИЛИ таблицы истинности можно резюмировать следующим образом:

    • «А.А ТАКЖЕ. B «верно, только если оба A и B верны.
    • «A .AND. B» ложно, если A или B ложно.
    • «A .OR. B» истинно, если A или B истинно.
    • «A .OR. B» ложно, только если и A, и B ложны.

    Символы логических операторов

    Логические или логические операторы используются в логических (булевых) выражениях. (Пример: (A .AND. B .OR. C)).

    Символ Значение
    НЕТ Логическое НЕ
    А ТАКЖЕ Логическое И
    ИЛИ Логическое ИЛИ

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

    1. . ПРИМЕЧАНИЕ.
    2. .И.
    3. .ИЛИ.

    Пример: круглые скобки в следующем примере делают два утверждения логически разные:

    • А .И. B .ИЛИ. C
    • А .И. (B .OR. C)

    Символы математических операторов

    Символы математических операторов указывают, какие операции должны быть выполнены при оценке арифметического выражения, такого как X / Y * (A + B * A). Возведение в степень * Умножение / Разделение + Добавление — Вычитание

    Порядок старшинства

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

    1. E xponentiation
    2. M ultiplication и D ivision
    3. A ddition и S ddition

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

    P аренда E xcuse M y D ухо A Unt S союзник.

    Строковые символы операций

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

    Символ Операция
    + Объединить две символьные строки
    Объединить две символьные строки
    (конечные пробелы 1-й строки добавляются в конец результирующей строки)

    Пример (_ обозначают пробелы)

    • «Здравствуйте ____» + «Там.»=» Привет ____ Вот. »
    • «Привет ____» — «Там.» = «Привет, здесь .____»

    Символы операторов сравнения

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

    Символ Значение
    Меньше, чем
    > Больше чем
    знак равно Равно
    <> или # Не равно
    Меньше или равно
    > = Больше или равно
    $ Сравнение подстрок
    Пример, если A и B представляют собой строки из
    символов, A $ B
    возвращает логическое значение True, если
    A либо идентично B
    , либо содержится в B.

    Таблицы истинности DMCS и предложения, созданные набором

    Раздел 3.2 Таблицы истинности и предложения, генерируемые набором

    Подраздел 3.2.1 Таблицы истинности

    Рассмотрим составное предложение \ (c = (p \ land q) \ lor (\ neg q \ land r) \ text {,} \), где \ (p \ text {,} \) \ (q \ text { ,} \) и \ (r \) суть предложения. Это пример предложения, созданного с помощью \ (p \ text {,} \) \ (q \ text {,} \) и \ (r \ text {.} \). Мы определим эту терминологию позже в этом разделе.Поскольку каждое из трех простых утверждений имеет два возможных значения истинности, отсюда следует, что существует восемь различных комбинаций значений истинности, которые определяют значение для \ (c \ text {.} \). Эти значения могут быть получены из таблицы истинности для \ (c \ text {.} \) Чтобы построить таблицу истинности, мы строим \ (c \) из \ (p \ text {,} \) \ (q \ text {,} \) и \ (r \) и из логических операторов. Результатом является таблица истинности ниже. Строго говоря, первые три столбца и последний столбец составляют таблицу истинности для \ (c \ text {.} \) Остальные столбцы — это рабочее пространство, необходимое для создания до \ (c \ text {.} \)

    \ begin {уравнение *} \ begin {array} {| c | c | c | c | c | c | c |} \ hline p & q & r & p \ land q & \ neg q & \ neg q \ land r & (p \ land q) \ lor (\ neg q \ land r) \\\ hline 0 & 0 & 0 & 0 & 1 & 0 & 0 \\\ hline 0 & 0 & 1 & 0 & 1 & 1 & 1 \\\ hline 0 & 1 & 0 & 0 & 0 & 0 & 0 \\\ hline 0 & 1 & 1 & 0 & 0 & 0 & 0 \\\ hline 1 & 0 & 0 & 0 & 1 & 0 & 0 \\\ hline 1 & 0 & 1 & 0 & 1 & 1 & 1 \\\ hline 1 & 1 & 0 & 1 & 0 & 0 & 1 \\\ hline 1 & 1 & 1 & 1 & 0 & 0 & 1 \\\ hline \ end {массив} \ end {уравнение *}

    Таблица 3.n \) строк, в которых первые \ (n \) столбцы представляют собой перечисление \ (n \) -разрядных двоичных целых чисел. В нашем примере мы можем сразу увидеть, что ровно для четырех из восьми случаев \ (c \) будет истинным. Например, если \ (p \) и \ (r \) истинны, а \ (q \) ложно (шестой случай), то \ (c \) истинно.

    Пусть \ (S \) — произвольный набор предложений. Мы дадим два определения предложения, порожденного S. Первое немного неточно, но должно быть ясным. Второе определение называется рекурсивным определением .Если вас это сбивает с толку, используйте первое определение и вернитесь ко второму позже.

    Подраздел 3.2.2 Предложения, порожденные множеством

    ¶ 91 000 Определение 3.2.2. Предложение, порожденное множеством.

    Пусть \ (S \) — произвольный набор предложений. Предложение, порожденное \ (S \), — это любая допустимая комбинация предложений в \ (S \) с конъюнкцией, дизъюнкцией и отрицанием. Или, точнее,

    1. Если \ (p \ in S \ text {,} \), то \ (p \) — это предложение, созданное \ (S \ text {,} \) и

    2. Если \ (x \) и \ (y \) суждения, сгенерированные \ (S \ text {,} \), то так же и \ ((x) \ text {,} \) \ (\ neg x \ text {,} \) \ (x \ lor y \) и \ (x \ land y \ text {.} \)

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

    Если \ (S \) — конечное множество, мы можем использовать немного другую терминологию. Например, если \ (S = \ {p, q, r \} \ text {,} \), мы можем сказать, что предложение порождается \ (p, q \ text {,} \) и \ (r \ ) вместо \ (\ {p, q, r \} \ text {.} \)

    Предложение, порожденное множеством \ (S \), не обязательно должно включать каждый элемент \ (S \) в свое выражение.Например, \ (\ neg q \ land r \) — это предложение, созданное \ (p, q \ text {,} \) и \ (r \ text {.} \)

    Подраздел 3.2.3 Приоритет логических операторов

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

    На любом уровне иерархии работайте слева направо. Используя эти правила, \ (p \ land q \ lor r \) понимается как \ ((p \ land q) \ lor r \ text {.} \) Эти правила приоритета универсальны и именно те, которые используются компьютером. языки для интерпретации логических выражений.

    Пример 3.2.3. Примеры иерархии логических операций.

    Несколько сокращенных выражений и их полностью заключенные в скобки версии:

    1. \ (p \ land q \ land r \) равно \ ((p \ land q) \ land r \ text {.} \)

    2. \ (\ neg p \ lor \ neg r \) равно \ ((\ neg p) \ lor (\ neg r) \ text {.} \)

    3. \ (\ neg \ neg p \) равно \ (\ neg (\ neg p) \ text {.} \)

    4. \ (p \ leftrightarrow q \ land r \ rightarrow s \) равно \ (p \ leftrightarrow ((q \ land r) \ rightarrow s) \ text {.} \)

    Упражнения 3.2.4 Упражнения к разделу 3.2

    1.

    Составьте таблицы истинности для:

    1. \ (p \ lor p \)

    2. \ (п \ земля (\ neg p) \)

    3. \ (p \ lor (\ neg p) \)

    4. \ (п \ земельный п \)

    Ответ
    1. \ (\ begin {array} {cc} п & п \ лор п \\ \ hline 0 & 0 \\ 1 и 1 \\ \ end {array} \)

    2. \ (\ begin {array} {ccc} p & \ neg p & p \ land (\ neg p) \\ \ hline 0 & 1 & 0 \\ 1 & 0 & 0 \\ \ end {array} \)
    3. \ (\ begin {array} {ccc} p & \ neg p & p \ lor (\ neg p) \\ \ hline 0 и 1 и 1 \\ 1 & 0 & 1 \\ \ end {array} \)
    4. \ (\ begin {array} {cc} п & п \ земля п \\ \ hline 0 & 0 \\ 1 и 1 \\ \ end {array} \)
    2.

    Составьте таблицы истинности для:

    1. \ (\ neg (p \ land q) \)

    2. \ (п \ земля (\ neg q) \)

    3. \ ((п \ земельный участок) \ земельный участок \)

    4. \ ((p \ земля q) \ lor (q \ land r) \ lor (r \ land p) \)

    5. \ (\ text {} \ neg p \ lor \ neg q \)

    6. \ (p \ lor q \ lor r \ lor s \)

    3.

    Запишите следующее, используя как можно меньше лишних скобок:

    1. \ ((\ neg ((p) \ land (r))) \ lor (s) \)

    2. \ (((p) \ lor (q)) \ land ((r) \ lor (q)) \)

    Ответ
    1. \ (\ neg (p \ land r) \ lor s \)

    2. \ ((p \ lor q) \ land (r \ lor q) \)

    4.

    В каком порядке выполняются операции в следующих предложениях?

    1. \ (p \ lor \ neg q \ lor r \ land \ neg p \)

    2. \ (п \ земля \ нег q \ земля р \ земля \ нег р \)

    5.

    Определить количество строк в таблице истинности предложения, содержащего четыре переменные \ (p, q, r, \ textrm {и} s \ text {.} \)

    6.

    Если на листе 45 строк, и вы хотите зарезервировать одну строку для каждой строки в таблице истинности, насколько большим может быть \ (\ lvert S \ rvert \), если вы можете написать таблицы истинности предложений, сгенерированных \ (S \) на листе бумаги?

    Упражнения 3.2.5 Практика работы в сети для раздела 3.2

    В некоторых задачах веб-работы для обозначения отрицания используется тильда ~ вместо \ (\ neg \).

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

    1.

    Источник открытых проблем WebWork: Библиотека / ASU-themes / setDiscrete / katie3.pg

    2.

    WebWork Открытый источник проблемы: Library / SDSU / Discrete / Logic / financiallogicB4.pg

    3.

    WebWork Открытый источник проблемы: Library / SDSU / Discrete / Logic / ttlogicequivA7.pg

    4.

    WebWork Открытый источник проблемы: Library / SDSU / Discrete / Logic / ttlogicequivA8.pg

    5.

    Источник открытых проблем WebWork: Библиотека / ASU-themes / setDiscrete / katie4.pg

    6.

    Источник открытых проблем WebWork: Библиотека / ASU-themes / setDiscrete / katie5.pg

    5,7. Таблицы истинности — документация LaunchCode LCHS

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