И или что больше информатика

Логические операции «И», «ИЛИ». Информатика во 2-м классе

Цели:

Подготовка к уроку.

Ход урока

1. Организационный этап урока.

а). Разминка. – Улыбнулись друг другу. Сказали добрые слова на букву И.

б). Скажите, с какими высказываниями вы познакомились на предыдущем уроке?

— Как вы думаете, вы всё узнали о логических операциях? Тема урока: логические действия “И” “ИЛИ”.

Сегодня мы отправляемся в удивительную страну “Логика”.

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

И Выбери круглый и съедобный. (рис. 3)

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

Выбери круглый или съедобный. (рис. 4)

— Сколько предметов взяли?

2. Этап усвоения и закрепления.

Задание №25.

— Какие фигуры принадлежат обоим множествам?

Задания №26, №27, №28.

3. Оздоровительная минутка. (Для глаз, пальчиков и т. д. )

4. Этап обобщения полученных знаний.

Домашнее задание №36.

А) В задании надо провести стрелочки от предмета в область или нарисовать его в этой области.

5. Физкультминутка.

А сейчас отдохнём. Выполнив, условие и мы получаем результат.

Выполнив условие физминутки, какой получаем результат? (Отдыхаем, расслабляемся).

— Все достигли этого результата?

6. Информационная минутка.

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

7. Работа на компьютере. Игра “перевозчик”.

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

Источник

Информатика. 7 класс

Электронное приложение к учебному пособию

Напишите нам

белый — основные материалы, обязательные для изучения;

голубой — примеры, иллюстрирующие основные материалы;

желтый — определения основных понятий;

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

В учебном пособии используются следующие условные обозначения:

— вопросы и задания для проверки знаний;

— раздел «Упражнения» содержит задания, при выполнении которых используется компьютер;

— раздел «Упражнения» содержит задания для выполнения в тетради;

— раздел «Упражнения» содержит задания, при выполнении которых может быть использована информация, размещенная на Национальном образовательном портале;

* — задание или пример для любознательных.

§ 4. Логические операции И и ИЛИ

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

4.1. Логическая операция И

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

Составное высказывание А И В, образованное в результате объединения двух простых высказываний А и B логической операцией И, истинно тогда и только тогда, когда А и В одновременно истинны (пример 4.1 и пример 4.2).

Операцию И называют логическим умножением. Равенства 1 · 1 = 1, 1 · 0 = 0, 0 · 1 = 0, 0 · 0 = 0, верные для обычного умножения, верны и для логического умножения.

Представим таблицу истинности для логической операции И:

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

4.2. Логическая операция ИЛИ

Составное высказывание А ИЛИ В, образованное в результате объединения двух простых высказываний А и B логической операцией ИЛИ, ложно тогда и только тогда, когда А и В одновременно ложны (пример 4.3).

Другими словами, составное высказывание А ИЛИ В будет истинным, если истинно хотя бы одно из двух составляющих его простых высказываний (пример 4.4).

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

Операцию ИЛИ называют логическим сложением. Равенства 1 + 0 = 1, 0 + 1 = 1, 0 + 0 = 0, верные для обычного сложения, верны и для логического сложения.

Для записи логической операции ИЛИ можно использовать следующие выражения: A ИЛИ B, A OR B, A + B, A ∨ B, A | B.

Если в логическом выражении присутствует несколько логических операций, то важно определить порядок их выполнения. Наивысшим приоритетом обладает операция НЕ. Логическая операция И, т. е. логическое умножение, выполняется раньше операции ИЛИ — логического сложения (пример 4.5* и пример 4.6*).

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

Логические операции И и ИЛИ подчиняются переместительному закону:

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

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

Пример 4.1. Проанализируем высказывание «Число 456 трехзначное и четное». Данное высказывание является составным, поскольку оно содержит два простых высказывания: «Число 456 трехзначное» (высказывание А) и «Число 456 четное» (высказывание В). Высказывания А и В соединены вместе логической операцией И, в результате получено составное высказывание А И B. Высказывание А истинно, высказывание В истинно. Поэтому высказывание А И B истинно: (А И B) = 1. Пример 4.2. Высказывание А: «Геракл — герой древнегреческой мифологии». Истинно, А = 1. Высказывание В: «Геракл — сын бога Зевса». Истинно, B = 1. Высказывание А И В: «Геракл — герой древнегреческой мифологии И сын бога Зевса». Истинно, (А И В) = 1. Пример 4.3. Проанализируем высказывание «Семиклас-сники изучают философию или астрономию». Данное составное высказывание образовано из двух простых высказываний: «Семиклассники изучают философию» (высказывание А), «Семиклас-сники изучают астрономию» (высказывание В), которые связаны логической операцией ИЛИ. В результате получилось составное высказывание А ИЛИ B. Высказывание А ложно, высказывание В ложно. Поэтому высказывание А ИЛИ B ложно: (А ИЛИ B) = 0. Пример 4.4. Высказывание А: «Франциск Скорина — белорусский первопечатник». Истинно, А = 1. Высказывание В: «Стефан Баторий — турецкий султан». Ложно, B = 0. Высказывание «Франциск Скорина — белорусский первопечатник, ИЛИ Стефан Баторий — турецкий султан» будет истинным, (А ИЛИ В) = 1. Пример 4.5*. Рассмотрим выражение: А ИЛИ B И НЕ С. Распишем по действиям вычисление значения логического выражения: Значение высказывания F, полученное в 3-м действии, определит значение исходного логического выражения. Пример 4.6*. Пусть высказывание А = 1, B = 0, С = 0. Найдем значение логического выражения: А ИЛИ B И НЕ С. Значит, при начальных значениях А = 1, B = 0, С = 0 значение логического выражения А ИЛИ B И НЕ С истинно. Пример 4.7. Высказывание А: «Прогноз погоды обещает дожди». Высказывание В: «Сейчас на улице идет дождь». Высказывание А И B будет ложным, если мы увидели, что на улице нет дождя (независимо от того, что обещал прогноз погоды). Высказывание А ИЛИ B будет истинным, если прогноз погоды обещал дождь (независимо от того, какую погоду мы наблюдаем сейчас).

Тесты

1 В каких условиях составное высказывание А И В может быть истинным?

2 В каких случаях составное высказывание А ИЛИ В может быть ложным?

2 О том, как прошли летние каникулы, Кира рассказала своим друзьям следующее:

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

4 Откройте файл с рисунком и поставьте все цветы в вазы так, чтобы было истинным высказывание: «В синей вазе все цветы розы, или в красной вазе все цветы не красного цвета».

5* Найдите значения логических выражений, если А = 1, B = 1, С = 0, D = 0.

Источник

Задание 3 ОГЭ информатика

Объяснение 3 задания ОГЭ по информатике

Таблица 2. Результаты для операции ИЛИ:

1А ИЛИ Б = ИСТИНА →если А=истина И Б=истина2А ИЛИ Б = ИСТИНА →если А=истина И Б=ложь3А ИЛИ Б = ИСТИНА →если А=ложь И Б=истина4А ИЛИ Б = ЛОЖЬ →если А= ложь И Б= ложь

Таблица 3. Результаты для операции И:

1	А И Б = ИСТИНА →	если А= истина И Б= истина
2	А И Б = ЛОЖЬ →	если А=истина И Б=ложь
3	А И Б = ЛОЖЬ →	если А=ложь И Б=истина
4	А И Б = ЛОЖЬ →	если А=ложь И Б=ложь

Таблица 4. Результаты для операции НЕ (отрицание):

Исходные значения	Результат
1	НЕ А если А= истина	А = ЛОЖЬ
НЕ(5 > 0)	5 ≤ 0
2	НЕ А если А= ложь	А = ИСТИНА
НЕ(-2 > 0)	-2 ≤ 0
3	НЕ (НЕ А)	= А

Таблица 6. НЕ перед скобками с общим выражением:

1	НЕ (А ИЛИ Б)	НЕ А И НЕ Б
2	НЕ (А И Б)	НЕ А ИЛИ НЕ Б

ОГЭ информатика разбор задания 3

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

Подробный видеоразбор по ОГЭ 3 задания:

Для какого из приведённых значений числа X ложно высказывание:

Ответ: 3

Для какого из приведённых значений числа X истинно высказывание:

Ответ: 3

Для какого из приведённых имён ЛОЖНО высказывание:

1) Анна
2) Елена
3) Павел
4) Егор

Ответ: 1

Для какого из приведённых имён ИСТИННО высказывание:

1) 43
2) 50
3) 61
4) 72

Ответ: 2

Для какого из приведённых слов ЛОЖНО высказывание:

1) Тигр
2) Выдра
3) Енот
4) Краб

Ответ: 2

Для какого из приведённых слов верно высказывание:

1) АИДА
2) СЕРГЕЙ
3) СТЕПАН
4) АРТЕМ

Ответ: 4

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

Ответ: 18

Осуществление поиска в готовой базе данных по сформулированному условию

Ниже в табличной форме представлен фрагмент базы данных «Отправление поездов дальнего следования»:

Пункт назначения	Категория поезда	Время в пути	Вокзал
Рига	скорый	15:45	Рижский
Ростов	фирменный	17:36	Казанский
Самара	фирменный	14:20	Казанский
Самара	скорый	17:40	Казанский
Самара	скорый	15:56	Казанский
Самара	скорый	15:56	Павелецкий
Самара	фирменный	23:14	Курский
Санкт-Петербург	скорый	8:00	Ленинградский
Санкт-Петербург	скорый	4:00	Ленинградский
Саратов	скорый	14:57	Павелецкий
Саратов	пассажирский	15:58	Павелецкий
Саратов	скорый	15:30	Павелецкий

Сколько записей в данном фрагменте удовлетворяют условию:

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

Ответ: 9

Ниже в табличной форме представлен фрагмент базы данных «Отправление поездов дальнего следования»:

Пункт назначения	Категория поезда	Время в пути	Вокзал
Балаково	скорый	20:22	Павелецкий
Бийск	скорый	61:11	Казанский
Бишкек	скорый	121:20	Казанский
Благовещенск	пассажирский	142:06	Ярославский
Брест	скорый	14:19	Белорусский
Валуйки	фирменный	14:57	Курский
Варна	скорый	47:54	Киевский
Волгоград	скорый	18:50	Павелецкий
Волгоград	скорый	24:50	Курский
Воркута	пассажирский	48:19	Ярославский
Воркута	пассажирский	48:19	Ярославский
Гродно	скорый	16:34	Белорусский

Сколько записей в данном фрагменте удовлетворяют условию:

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

Ответ: 3

Ниже в табличной форме представлен фрагмент базы данных «Отправление поездов дальнего следования»:

Пункт назначения	Категория поезда	Время в пути	Вокзал
Балаково	скорый	20:22	Павелецкий
Бийск	скорый	61:11	Казанский
Бишкек	скорый	121:20	Казанский
Благовещенск	пассажирский	142:06	Ярославский
Брест	скорый	14:19	Белорусский
Валуйки	фирменный	14:57	Курский
Варна	скорый	47:54	Киевский
Волгоград	скорый	18:50	Павелецкий
Волгоград	скорый	24:50	Курский
Воркута	пассажирский	48:19	Ярославский
Воркута	пассажирский	48:19	Ярославский
Гродно	скорый	16:34	Белорусский

Сколько записей в данном фрагменте удовлетворяют условию:

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

Ответ: 4

Ниже в табличной форме представлен фрагмент базы данных «Отправление поездов дальнего следования»:

Пункт назначения	Категория поезда	Время в пути	Вокзал
Махачкала	скорый	39.25	Павелецкий
Махачкала	скорый	53.53	Курский
Мурманск	скорый	35.32	Ленинградский
Мурманск	скорый	32.50	Ленинградский
Мурманск	пассажирский	37.52	Ленинградский
Мурманск	пассажирский	37.16	Ленинградский
Назрань	пассажирский	40.23	Павелецкий
Нальчик	скорый	34.55	Казанский
Нерюигри	скорый	125.41	Казанский
Новосибирск	скорый	47.30	Ярославский
Нижневартовск	скорый	52.33	Казанский
Нижний Тагил	фирменный	31.36	Ярославский

Сколько записей в данном фрагменте удовлетворяют условию:

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

Источник

И или что больше информатика

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

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

A	B	F
1	1	1
1	0	1
0	1	1
0	0	0

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

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

A	¬ А
1	0
0	1

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

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

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

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

A	B	F
1	1	1
1	0	0
0	1	1
0	0	1

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

Источник

Таблицы истинности и логические схемы

Теория к заданию 2 из ЕГЭ по информатике

Алгебра логики

Алгебра логики

Алгебра логики (англ. algebra of logic) — один из основных разделов математической логики, в котором методы алгебры используются в логических преобразованиях.

Основоположником алгебры логики является английский математик и логик Дж. Буль (1815–1864), положивший в основу своего логического учения аналогию между алгеброй и логикой. Любое высказывание он записывал с помощью символов разработанного им языка и получал «уравнения», истинность или ложность которых можно было доказать, исходя из определенных логических законов, таких как законы коммутативности, дистрибутивности, ассоциативности и др.

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

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

Например, «3 умножить на 3 равно 9», «Архангельск севернее Вологды» — истинные высказывания, а «Пять меньше трех», «Марс — звезда» — ложные.

Очевидно, что не всякое предложение может быть логическим высказыванием, т. к. не всегда есть смысл говорить о его ложности или истинности. Например, высказывание «Информатика — интересный предмет» неопределенно и требует дополнительных сведений, а высказывание «Для ученика 10-А класса Иванова А. А. информатика — интересный предмет» в зависимости от интересов Иванова А. А. может принимать значение «истина» или «ложь».

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

В алгебре логики различаются простые (элементарные) высказывания, обозначаемые латинскими буквами (A, B, C, D, …), и сложные (составные), составленные из нескольких простых с помощью логических связок, например таких, как «не», «и», «или», «тогда и только тогда», «если … то». Истинность или ложность получаемых таким образом сложных высказываний определяется значением простых высказываний.

Обозначим как А высказывание «Алгебра логики успешно применяется в теории электрических схем», а через В — «Алгебра логики применяется при синтезе релейно-контактных схем».

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

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

Логических значений всего два: истина (TRUE) и ложь (FALSE). Это соответствует цифровому представлению — 1 и 0. Результаты каждой логической операции можно записать в виде таблицы. Такие таблицы называют таблицами истинности.

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

1. Логическое отрицание, инверсия (лат. inversion — переворачивание) — логическая операция, в результате которой из данного высказывания (например, А) получается новое высказывание (не А), которое называется отрицанием исходного высказывания, обозначается символически чертой сверху ($A↖<->$) или такими условными обозначениями, как ¬, ‘not’, и читается: «не А», «А ложно», «неверно, что А», «отрицание А». Например, «Марс — планета Солнечной системы» (высказывание А); «Марс — не планета Солнечной системы» ($A↖<->$); высказывание «10 — простое число» (высказывание В) ложно; высказывание «10 — не простое число» (высказывание B ) истинно.

Операция, используемая относительно одной величины, называется унарной. Таблица значений данной операции имеет вид

A	¬A
истина	ложь
ложь	истина

2. Конъюнкция (лат. conjunctio — соединение) — логическое умножение, операция, требующая как минимум двух логических величин (операндов) и соединяющая два или более высказываний при помощи связки «и» (например, «А и В»), которая символически обозначается с помощью знака ∧ (А ∧ В) и читается: «А и В». Для обозначения конъюнкции применяются также следующие знаки: А ∙ В; А & В, А and В, а иногда между высказываниями не ставится никакого знака: АВ. Пример логического умножения: «Этот треугольник равнобедренный и прямоугольный». Данное высказывание может быть истинным только в том случае, если выполняются оба условия, в противном случае высказывание ложно.

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

A	B	A ∧ B
истина	ложь	ложь
ложь	истина	ложь
ложь	ложь	ложь
истина	истина	истина

A	B	A ∧ B
1	0	0
0	1	0
0	0	0
1	1	1

Высказывание А ∧ В истинно только тогда, когда оба высказывания — А и В истинны.

Геометрически конъюнкцию можно представить следующим образом: если А, В — это некоторые множества точек, то А ∧ В есть пересечение множеств А и В.

3. Дизъюнкция (лат. disjunction — разделение) — логическое сложение, операция, соединяющая два или более высказываний при помощи связки «или» (например, «А или В»), которая символически обозначается с помощью знака ∨ (А ∨ В) и читается: «А или В». Для обозначения дизъюнкции применяются также следующие знаки: А + В; А or В; А | B. Пример логического сложения: «Число x делится на 3 или на 5». Это высказывание будет истинным, если выполняются оба условия или хотя бы одно из условий.

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

A	B	A ∨ B
истина	ложь	истина
ложь	истина	истина
ложь	ложь	ложь
истина	истина	истина

A	B	A ∨ B
1	0	1
0	1	1
0	0	0
1	1	1

Высказывание А ∨ В ложно только тогда, когда оба высказывания — А и В ложны.

Геометрически логическое сложение можно представить следующим образом: если А, В — это некоторые множества точек, то А ∨ В — это объединение множеств А и В, т. е. фигура, объединяющая и квадрат, и круг.

4. Дизъюнкция строго-разделительная, сложение по модулю два — логическая операция, соединяющая два высказывания при помощи связки «или», употребленной в исключающем смысле, которая символически обозначается с помощью знаков ∨ ∨ или ⊕ (А ∨ ∨ В, А ⊕ В) и читается: «либо А, либо В». Пример сложения по модулю два — высказывание «Этот треугольник тупоугольный или остроугольный». Высказывание истинно, если выполняется какое-то одно из условий.

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

А	В	А ⊕ B
истина	ложь	истина
ложь	истина	истина
ложь	ложь	ложь
истина	истина	ложь

А	В	А ⊕ B
1	0	1
0	1	1
0	0	0
1	1	0

Высказывание А ⊕ В истинно только тогда, когда высказывания А и В имеют различные значения.

5. Импликация (лат. implisito — тесно связываю) — логическая операция, соединяющая два высказывания при помощи связки «если. то» в сложное высказывание, которое символически обозначается с помощью знака → (А → В) и читается: «если А, то В», «А влечет В», «из А следует В», «А имплицирует В». Для обозначения импликации применяется также знак ⊃ (A ⊃ B). Пример импликации: «Если полученный четырехугольник квадрат, то около него можно описать окружность». Эта операция связывает два простых логических выражения, из которых первое является условием, а второе — следствием. Результат операции ложен только тогда, когда предпосылка есть истина, а следствие — ложь. Например, «Если 3 * 3 = 9 (А), то Солнце — планета (В)», результат импликации А → В — ложь.

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

А	В	А → В
истина	ложь	ложь
ложь	истина	истина
ложь	ложь	истина
истина	истина	истина

А	В	А → В
1	0	0
0	1	1
0	0	1
1	1	1

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

6. Эквивалентность, двойная импликация, равнозначность (лат. aequalis — равный и valentis — имеющий силу) — логическая операция, позволяющая из двух высказываний А и В получить новое высказывание А ≡ В, которое читается: «А эквивалентно B». Для обозначения эквивалентности применяются также следующие знаки: ⇔, ∼. Эта операция может быть выражена связками «тогда и только тогда», «необходимо и достаточно», «равносильно». Примером эквивалентности является высказывание: «Треугольник будет прямоугольным тогда и только тогда, когда один из углов равен 90 градусам».

Таблица истинности операции эквивалентности имеет вид

А	В	А ∼ В
истина	ложь	ложь
ложь	истина	ложь
ложь	ложь	истина
истина	истина	истина

А	В	А ∼ В
1	0	0
0	1	0
0	0	1
1	1	1

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

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

Сложение по модулю два	А ⊕ В	$(A↖ <->∧B) ∧ (A ∧ B↖<->)$
Импликация	А → В	$A↖ <->∨ B$
Эквивалентность	А ∼ В	$(A↖ <->∧ B↖<->) ∨ (A ∧ B)$

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

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

Рассмотрим, например, построение составного высказывания из высказываний А и В, которое было бы ложно тогда и только тогда, когда оба высказывания истинны. В таблице истинности для операции сложения по модулю два находим: 1 ⊕ 1 = 0. А высказывание может быть, например, таким: «Этот мяч полностью красный или полностью синий». Следовательно, если утверждение А «Этот мяч полностью красный» — истина, и утверждение В «Этот мяч полностью синий» — истина, то составное утверждение — ложь, т. к. одновременно и красным, и синим мяч быть не может.

Примеры решения задач

Пример 3. Для каких из приведенных слов ложно высказывание ¬(первая буква гласная ∧ третья буква гласная) ⇔ строка из 4 символов? 1) асса; 2) куку; 3) кукуруза; 4) ошибка; 5) силач.

Решение. Рассмотрим последовательно все предложенные слова:

1) для слова асса получим: ¬(1 ∧ 0) ⇔ 1, 1 ⇔ 1 — высказывание истинно;

2) для слова куку получим: ¬ (0 ∧ 0) ⇔ 1, 1 ⇔ 1 — высказывание истинно;

3) для слова кукуруза получим: ¬ (0 ∧ 0) ⇔ 0, 1 ⇔ 0 — высказывание ложно;

4) для слова ошибка получим: ¬ (1 ∧ 1) ⇔ 0, 0 ⇔ 0 — высказывание истинно;

5) для слова силач получим: ¬ (0 ∧ 0) ⇔ 1, 1 ⇔ 0 — высказывание ложно.

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

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

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

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

Пример. Найти значение выражения:

Решение. Порядок подсчета значений:

1) b a + a b > a + b, после подстановки получим: 3 2 + 2 3 > 2 + 3, т. е. 17 > 2 + 3 = истина;

2) A ∧ B = истина ∧ ложь = ложь.

Следовательно, выражение в скобках равно (b a + a b > a + b ∨ A ∧ B) = истина ∨ ложь = истина;

3) 1≤ a = 1 ≤ 2 = истина;

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

Построение таблиц истинности логических выражений

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

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

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

1. Дизъюнктивно нормальная форма (ДНФ) — сумма произведений, образованных из переменных и их отрицаний для ложных значений.

Алгоритм построения ДНФ следующий:

Пример. Построить функцию, определяющую, что первое число равно второму, используя метод ДНФ. Таблица истинности функции имеет вид

X1	X2	F(X1, X2)
1	1	1
0	1	0
1	0	0
0	0	1

Решение. Выбираем наборы значений аргументов, в которых функция равна 1. Это первая и четвертая строки таблицы (строку заголовка при нумерации не учитываем).

2. Конъюнктивно нормальная форма (КНФ) — произведение сумм, образованных из переменных и их отрицаний для истинных значений.

Алгоритм построения КНФ следующий:

Примеры решения задач

Пример 1. Рассмотрим предыдущий пример, т. е. построим функцию, определяющую, что первое число равно второму, используя метод КНФ. Для заданной функции ее таблица истинности имеет вид

X1	X2	F(X1, X2)
1	1	1
0	1	0
1	0	0
0	0	1

Решение. Выбираем наборы значений аргументов, в которых функция равна 0. Это вторая и третья строки (строку заголовка при нумерации не учитываем).

Таким образом, получена запись логической функции в КНФ.

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

X1	X2	F(X1, X2)
1	1	1
1	0	0
0	1	1
0	0	0

Решение. Используем алгоритм ДНФ для построения исходной функции:

X1	X2	F(X1, X2)
1	1	1	•	X1 ∧ X2
1	0	0
0	1	1	•	$↖<->$ ∧ X2
0	0	0

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

Формула достаточно громоздка, и ее следует упростить:

Таблицы истинности для решения логических задач

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

Примеры решения задач

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

Решение. Очевидно, что результатом решения будет таблица, в которой искомая функция Y(X1, X2, X3) будет иметь значение «истина», если какие-либо две переменные имеют значение «истина».

X1	X2	X3	Y(X1, X2, X3)
1	1	1	0
1	1	0	1
1	0	1	1
1	0	0	0
0	1	1	1
0	1	0	0
0	0	1	0
0	0	0	0

Пример 2. Составить расписание уроков на день, учитывая, что урок информатики может быть только первым или вторым, урок математики — первым или третьим, а физики — вторым или третьим. Возможно ли составить расписание, удовлетворив всем требованиям? Сколько существует вариантов расписания?

Решение. Задача легко решается, если составить соответствующую таблицу:

1-й урок	2-й урок	3-й урок
Информатика	1	1	0
Математика	1	0	1
Физика	0	1	1

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

Пример 3. В спортивный лагерь приехали трое друзей — Петр, Борис и Алексей. Каждый из них увлекается двумя видами спорта. Известно, что таких видов спорта шесть: футбол, хоккей, лыжи, плавание, теннис, бадминтон. Также известно, что:

Какими видами спорта увлекается каждый из мальчиков?

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

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

Из условия 4 следует, что Борис не увлекается ни лыжами, ни теннисом, а из условий 3 и 5, что Петр не умеет играть в футбол, хоккей, теннис и бадминтон. Следовательно, любимые виды спорта Петра — лыжи и плавание. Занесем это в таблицу, а оставшиеся клетки столбцов «Лыжи» и «Плавание» заполним нулями.

Футбол	Хоккей	Лыжи	Плавание	Бадминтон	Теннис
Петр	0	0	1	1	0	0
Борис	0	0	0
Алексей	0	0

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

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

Футбол	Хоккей	Лыжи	Плавание	Бадминтон	Теннис
Петр	0	0	1	1	0	0
Борис	0	0	0	0
Алексей	1	0	0	0	0	1

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

Футбол	Хоккей	Лыжи	Плавание	Бадминтон	Теннис
Петр	0	0	1	1	0	0
Борис	0	1	0	0	1	0
Алексей	1	0	0	0	0	1

Ответ: Петр увлекается лыжами и плаванием, Борис играет в хоккей и бадминтон, а Алексей занимается футболом и теннисом.

Источник