Таблицы истинности в excel задачи

Типовое задание № 2

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

Что проверяется:

Умение строить таблицы
истинности и логические схемы.

1.5.1.
Высказывания, логические операции, кванторы, истинность высказывания

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

Про обозначения

К
сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной»
математической логике (Ù,Ú,¬), неудобны, интуитивно
непонятны и никак не проявляют аналогии с обычной алгеброй. Автор, к своему
стыду, до сих пор иногда путает Ù и Ú.
Поэтому на его уроках операция «НЕ» обозначается чертой сверху, «И» – знаком
умножения (поскольку это все же логическое умножение), а «ИЛИ» – знаком «+»
(логическое сложение). В разных учебниках используют разные обозначения. К
счастью, в начале задания ЕГЭ приводится расшифровка закорючек (Ù,Ú,¬), что еще раз подчеркивает проблему.

Что нужно знать:

условные
обозначения логических операций

¬ A,                   не
A (отрицание, инверсия)

A Ù B,            A и B (логическое
умножение, конъюнкция)

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

A → B                  импликация (следование)

A º B         
         эквивалентность (равносильность)

операцию «импликация» можно выразить через «ИЛИ» и «НЕ»:

A → B = ¬ A Ú B или в других обозначениях A → B =

иногда для упрощения выражений полезны формулы де Моргана:

¬ (A Ù
B) = ¬ A Ú ¬ B             

¬ (A Ú
B) = ¬ A Ù ¬ B             

если в выражении нет скобок, сначала выполняются все операции
«НЕ», затем – «И», затем – «ИЛИ», «импликация», и самая последняя –
«эквивалентность»

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

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

количество
разных логических функций, удовлетворяющих неполной таблице истинности, равно , где  – число отсутствующих строк; например, полная
таблица истинности выражения с тремя переменными содержит 23=8 строчек, если
заданы только 6 из них, то можно найти 28-6=22=4 разных логических функции,
удовлетворяющие этим 6 строчкам (но отличающиеся в двух оставшихся)

логическая
сумма A + B + C + … равна 0 (выражение ложно) тогда и только тогда, когда все
слагаемые одновременно равны нулю, а в остальных случаях равна 1 (выражение
истинно)

логическое
произведение A · B · C · … равно 1 (выражение истинно) тогда и только тогда,
когда все сомножители одновременно равны единице, а в остальных случаях равно 0
(выражение ложно)

логическое
следование (импликация) А→В равна 0 тогда и только тогда, когда A (посылка)
истинна, а B (следствие) ложно

эквивалентность
АºB равна 1 тогда и только тогда,
когда оба значения одновременно равны 0 или одновременно равны 1

По материалам К.Ю. Полякова с сайта ЕГЭ по информатике: подготовка к
ЕГЭ-2022 по информатике, разбор задач ЕГЭ-2022 по информатике, материалы для
подготовки к ЕГЭ (kpolyakov.spb.ru)

Решение задач
второго типа в MS Excel

Алгоритм решения

1.
Составить таблицу входных значения, перечисляя все комбинации переменных в
порядке возрастания двоичного кода. Для этого подсчитать n число переменных в
исходном выражении, выписать наборы входных переменных.  Количество
наборов входных переменных 2ⁿ.

2. Для каждой строки находим логическое решение. Для этого:

·       
Подсчитать
общее число логических операций в выражении;

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

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

4. Сопоставить исходную таблицу и вновь
полученную.

Используемые фукции в MS Excel

Примеры:

1 (Задача 158 с сайта К.Ю.
Полякова). Логическая
функция F задаётся выражением   ¬x Ù y Ù (w ® z). На рисунке приведён фрагмент
таблицы истинности функции F, содержащий все наборы аргументов, при
которых функция F истинна. Определите, какому столбцу таблицы истинности
функции F соответствует каждая из переменных x, y, z,
w.

В ответе напишите буквы x, y,
z, w в том порядке, в котором идут соответствующие им столбцы.

Решение

1.
 Подсчитаем количество переменных: x, y, z, w – 4 переменных, следовательно,
ищем количество наборов по формуле: 2ⁿ
= 2⁴ = 16 наборов. Заполняем разными возможными вариантами (см.
рисунок)

2.
Определим наборы операций:

         1) ¬x

         2) (w ®
z)

         3) ¬x Ù y Ù
(w ® z)

Ищем
результаты действий.

Результат вычислений   Введенные
формулы

Следующий
шаг это отфильтровать значения 1 по столбцу H:

Сопоставим
с условием:

Анализируем:

0
– всегда X          1 – всегда Y          011 – Z                 001
— W

Ответ:
YXZW

2(Задача 168 с сайта К.Ю.
Полякова). Логическая
функция F задаётся выражением 
x Ú (¬y
Ú z Ú ¬w) Ù (y Ú ¬z). На рисунке приведён фрагмент
таблицы истинности функции F, содержащий все наборы аргументов, при
которых функция F ложна. Определите, какому столбцу таблицы истинности
функции F соответствует каждая из переменных x, y, z,
w.

В
ответе напишите буквы x, y, z, w в том порядке, в
котором идут соответствующие им столбцы.

Ответ:
WXZY

3(Задача 178 с сайта К.Ю.
Полякова). Логическая
функция F задаётся выражением (Øz ÚØ
y) ® (x º z). На рисунке приведён частично
заполненный фрагмент таблицы истинности функции F, содержащий
неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F
соответствует каждая из переменных x, y, z.

В
ответе напишите буквы x, y, z в том порядке, в котором
идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких
разделителей между буквами ставить не нужно.

Ответ:
YXZ

4 (Задача 188 с сайта К.Ю.
Полякова).
Логическая функция F задаётся выражением (w Ù y) Ú ((x ® w) º (y ® z)). На рисунке приведён частично
заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся
строки. Определите, какому столбцу таблицы истинности функции F соответствует
каждая из переменных x, y, z, w.

В
ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие
им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами
ставить не нужно.

Ответ:
ZWYX

5 (Задача 198 с сайта К.Ю.
Полякова).
Логическая функция F задаётся выражением
(w ® y) Ù ((x ® z) º (y ® x)). На рисунке приведён частично заполненный фрагмент таблицы
истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу
таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

В
ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие
им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами
ставить не нужно.

Ответ:
WZXY

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

«Построение таблиц истинности в MS Excel»

Цель работы: 

Научиться использовать логические функции программы Excel при построении таблиц истинности.

Задание 1. Доказать законы де Моргана с помощью таблиц истинности в ЭТ Excel.

Загрузить Excel .Создать структуру электронной таблицы.

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

Вы должны получить:

Вы проверили и убедились, что  

Задание 2 Проверить с помощью ЭТ закон де Моргана

Задание 3 Проверить с помощью ЭТ сочетательный закон .

Задание 4 Установить в ЭТ истинность высказывания .

Задание 5 Установить в ЭТ является ли высказывание   тавтологией?

Задание 6 Установить в ЭТ равносильны ли высказывания: ; ;

=И(А2;В2)

=И(А3;В3)

=И(А4;В4)

=И(А5;В5)

=НЕ(С2)

=НЕ(С3)

=НЕ(С4)

=НЕ(С5)

=НЕ(А2)

=НЕ(А3)

=НЕ(А4)

=НЕ(А5)

=ИЛИ(Е2;F2)

=НЕ(В3)

=НЕ(В4)

=НЕ(В5)

=ИЛИ(Е3;F3)

=ИЛИ(Е4;F4)

=ИЛИ(Е5;F5)

=НЕ(В2)

Фев 04 2021

=И(A1;B1)

=ИЛИ(A1;B1)

=НЕ(A1)

=ИЛИ(И(НЕ(A1);B1);И(A1;НЕ(B1)))

=ИЛИ(НЕ(A1);B1)

=ИЛИ(A1;НЕ(B1))

=ЕСЛИ(A1=B1;1;0)

=ЕСЛИ(A1=B1;"ИСТИНА";"ЛОЖЬ")

1) закрепить знания об основных логических операциях и таблицах истинности логических выражений; 2) сформировать навыки построения таблиц истинности (в том числе с использованием электронных таблиц MS Excel); 3) решение задач на построение таблиц истинности логических выражений в электронных таблицах.

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

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

В данной работе рассматривается применение
табличного процессора MS Excel при изучении основ
логики.

Существует множество задач, в которых исходные
и результатные данные должны быть представлены в
табличной форме. Электронные таблицы
представляют собой удобный инструмент для
автоматизации таких вычислений. Решения многих
вычислительных задач на ЭВМ, которые раньше
можно было осуществить только путем
программирования, стало возможно реализовать.
Использование математических формул в
электронных таблицах позволяет представить
взаимосвязь между различными параметрами
некоторой реальной системы. Основное свойство
электронных таблиц – мгновенный пересчет формул
при изменении значений входящих в них операндов.
Благодаря этому свойству, таблица представляет
собой удобный инструмент для организации
численного эксперимента:

• подбор параметров,
• прогноз поведения моделируемой системы,
• анализ зависимостей,
• планирование.

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

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

Для реализации функций булевой алгебры
используются логические функции: ЕСЛИ, И, ИЛИ, НЕ,
ИСТИНА и ЛОЖЬ. При работе с функциями в MS Excel
используется мастер функций (Вставка Функция…), в котором отображается
имя функции, ее описание и аргументы.

Рисунок 1. Окно мастера функций

Первоначально следует создать таблицу
основных логических операций:

Рисунок 2. Таблица истинности основных
логических операций

При составлении таблицы истинности
используются следующие формулы:

1. Инверсия: =ЕСЛИ(A2=1;0;1);
2. Дизъюнкция: =ЕСЛИ(ИЛИ(A2=1;B2=1);1;0);
3. Конъюнкция: =ЕСЛИ(И(A2=1;B2=1);1;0);
4. Импликация: =ЕСЛИ(И(A2=1;B2=0);0;1);
5. Эквивалентность: =ЕСЛИ(A2=B2;1;0).

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

Учащимся может быть предложена следующая
работа.

Задание: Построить таблицу истинности для
формулы (A B C) A, используя MS Excel.

Алгоритм:

1. Определить количество наборов входных
   переменных, по формуле: Q = 2ⁿ, где n –
   количество переменных. Q = 2³ = 8.
2. Внести в таблицу все наборы входных переменных:

Рисунок 3. Исходные данные

1. Определить количество логических операций и
   порядок их выполнения:

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

Для этого в ячейку D2 ввести формулу: =ЕСЛИ(B2=1;0;1);

в E2: =ЕСЛИ(И(A2=1;D2=1);1;0);

в F2: =ЕСЛИ(И(E2=1;C2=0);0;1);

в G2: =ЕСЛИ(F2=A2;1;0).

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

Рисунок 4. Результат выполнения работы

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

Задачи для самостоятельного решения

Определить с помощью таблиц истинности
равносильность формул.

Определить являются ли формулы тавтологиями.