«Построение таблиц истинности в MS Excel»
Цель работы:
Научиться использовать логические функции программы Excel при построении таблиц истинности.
Задание 1. Доказать законы де Моргана с помощью таблиц истинности в ЭТ Excel.
Загрузить Excel.Создать структуру электронной таблицы.
Заполнить электронную таблицу данными. Используя логические функции произвести расчеты.
=ИЛИ(Е2;F2) 
=ИЛИ(Е4;F4)
=ИЛИ(Е5;F5)
Вы должны получить:
Вы проверили и убедились, что 
Задание 2 Проверить с помощью ЭТ закон де Моргана 
Задание 3 Проверить с помощью ЭТ сочетательный закон 
.
Задание 4 Установить в ЭТ истинность высказывания 
.
Задание 5 Установить в ЭТ является ли высказывание 
тавтологией?
Задание 6 Установить в ЭТ равносильны ли высказывания: 
; 
; 
самостоятельной работы студентов
Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями…
Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм…
Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени…
ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при которых тело находится под действием заданной системы сил…
Инфоурок
›
Информатика
›Другие методич. материалы›Практическая работа по теме «Построение таблиц истинности в MS Excel»
Скачать материал
Скачать материал
- Сейчас обучается 82 человека из 37 регионов
- Курс добавлен 19.01.2023
- Сейчас обучается 120 человек из 40 регионов
Найдите материал к любому уроку, указав свой предмет (категорию), класс, учебник и тему:
6 210 444 материала в базе
- Выберите категорию:
- Выберите учебник и тему
- Выберите класс:
-
Тип материала:
-
Все материалы
-
Статьи
-
Научные работы
-
Видеоуроки
-
Презентации
-
Конспекты
-
Тесты
-
Рабочие программы
-
Другие методич. материалы
-
Найти материалы
Материал подходит для УМК
Другие материалы
- 19.05.2018
- 497
- 2
- 19.05.2018
- 364
- 0
- 19.05.2018
- 770
- 7
Вам будут интересны эти курсы:
-
Курс повышения квалификации «Организация работы по формированию медиаграмотности и повышению уровня информационных компетенций всех участников образовательного процесса»
-
Курс повышения квалификации «Облачные технологии в образовании»
-
Курс повышения квалификации «Развитие информационно-коммуникационных компетенций учителя в процессе внедрения ФГОС: работа в Московской электронной школе»
-
Курс повышения квалификации «Использование компьютерных технологий в процессе обучения в условиях реализации ФГОС»
-
Курс профессиональной переподготовки «Управление в сфере информационных технологий в образовательной организации»
-
Курс профессиональной переподготовки «Математика и информатика: теория и методика преподавания в образовательной организации»
-
Курс повышения квалификации «Современные тенденции цифровизации образования»
-
Курс повышения квалификации «Специфика преподавания дисциплины «Информационные технологии» в условиях реализации ФГОС СПО по ТОП-50»
-
Курс повышения квалификации «Современные языки программирования интегрированной оболочки Microsoft Visual Studio C# NET., C++. NET, VB.NET. с использованием структурного и объектно-ориентированного методов разработки корпоративных систем»
-
Курс повышения квалификации «Применение интерактивных образовательных платформ на примере платформы Moodle»
-
Скачать материал
-
20.05.2018
3442
-
DOCX
59.9 кбайт -
24
скачивания -
Рейтинг:
1 из 5 -
Оцените материал:
-
-
Настоящий материал опубликован пользователем Куликов Василий Константинович. Инфоурок является
информационным посредником и предоставляет пользователям возможность размещать на сайте
методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них
сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайтЕсли Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с
сайта, Вы можете оставить жалобу на материал.Удалить материал
-
- На сайте: 7 лет и 9 месяцев
- Подписчики: 5
- Всего просмотров: 1718176
-
Всего материалов:
1535
Файлы
Рабочий лист подходит для учеников 7 класса, работающих по учебнику «Информатика. ФГОС», автор Л….
Практическая работа №2
«Построение
таблиц истинности в MS Excel»
Цель работы:
Научиться
использовать логические функции программы Excel
при построении таблиц истинности.
Задание 1. Доказать законы де Моргана с помощью
таблиц истинности в ЭТ Excel.
Загрузить Excel. Создать структуру электронной таблицы.
Заполнить электронную
таблицу данными. Используя логические функции произвести расчеты.
=ИЛИ(Е2;F2) 
=ИЛИ(Е4;F4) 
=ИЛИ(Е5;F5) 
Вы должны
получить:
Вы проверили и
убедились, что 
Задание 2 Проверить с помощью ЭТ закон де Моргана 
Задание 3 Проверить с помощью ЭТ сочетательный закон
.
Задание 4 Установить в ЭТ истинность высказывания 
.
Задание 5 Установить в ЭТ является ли высказывание 
тавтологией?
Задание 6 Установить в ЭТ равносильны ли
высказывания: 
; 
;
Практическая работа №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)
Мне нужно составить формулу, которая даст вам таблицу истинности для переменного количества столбцов.
Пример
Замените FirstCell статической ссылкой на ячейку, содержащую первое значение 2^1, например, $D$1 для 4-битной таблицы (16 значений) и автозаполнение остальной части сетки (в примере A1:D16)
Логика этого такова:
Если текущая строка модуля 2 столбца силы тока (* -1, так как первое значение находится в последнем столбце и + 1, потому что оно начинается с 0) больше или равно половине 2 столбца силы тока, поместите значение как 1, иначе поставить значение 0.
Текущий рекомендуемый ответ мне не помог. Для более простого метода я бы рекомендовал следующую формулу:
Где TopRight находится верхняя правая ячейка таблицы истинности.
Например, если вы создаете таблицу истинности с 8 элементами, начинающимися с A3 , замените TopRight на $H$3 , а затем перетащите формулу из стороны в сторону и вниз.
Основное объяснение того, что происходит: в таблицах истинности строки чередуются 1 или 0 через каждое 2 ^ n количество строк, где n количество столбцов, на которое данный столбец отстоит от крайнего правого столбца.
Практическая работа на тему «Построение таблиц истинности логических функций с помощью электронной таблицы MS Excel»
Практическая работа на закрепление навыка построения таблиц истинности функций. Позволяет интегрировать изучение алгебры логики и табличного процессора MS Excel.
Ефимова Надежда Александровна , 17.09.2018
Содержимое разработки
бюджетное профессиональное образовательное учреждение
Вологодской области
«Сокольский лесопромышленный политехнический техникум»
Дисциплина — «ИНФОРМАТИКА»
ПРАКТИЧЕСКАЯ РАБОТА ПО ТЕМЕ
«ПОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ЛОГИЧЕСКИХ ФУНКЦИЙ
С ПОМОЩЬЮ ЭЛЕКТРОННОЙ ТАБЛИЦЫ MS EXCEL »
Преподаватель – Н.А. Ефимова
ПРАКТИЧЕСКАЯ РАБОТА ПО ТЕМЕ
«ПОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ЛОГИЧЕСКИХ ФУНКЦИЙ
С ПОМОЩЬЮ ЭЛЕКТРОННОЙ ТАБЛИЦЫ MS EXCEL »
Цель работы: знакомство с логическими функциями Excel , закрепление навыков построения таблиц истинности и приобретение навыков построения таблиц истинности в табличном редакторе MS Office Excel .
Запустите MS Office Excel
ПУСК Программы Microsoft Office Microsoft Office Excel.
Microsoft Office Excel – это табличный редактор.
Он представляет собой электронную таблицу, состоящую из столбцов (они обозначаются латинскими буквами A , B , C ….) и строк (они обозначаются арабскими цифрами 1, 2, 3…).
На пересечение столбцов и строк находятся ячейки они именуются Имя_столбца № строки, например A 1, B 4….
Введите с помощью клавиатуры таблицы истинности для базовых логических операций по образцу, пока, не вычисляя их значение (внимательно заносите данные в ячейки, строго как в образце):
3. Вычислите значение логических операций с помощью мастера функций:
Для операции логическое отрицание (НЕ)
Выделите ячейку В2 (щелчком мыши, в ней будет храниться результат функции) Меню ВСТАВКА Функция
Появится окно мастера функций
В графе категория выберите – логические,
в списке функций – НЕ Ок
Затем щелкните по ячейке А2 (ведь функция вычисляется для значения из этой ячейки) и нажмите Ок
Далее для вычисления 2 значения подведите указатель мыши к ячейке В2, чтобы выскочил черный крестик, зажмите левую кнопку мыши и протяните вниз (Это называется автокопированием, т.е. функция остается такой же, а значение по которому она вычисляется, изменяется).
2. Для операции логическое сложение (ИЛИ) алгоритм аналогичен, только начинать нужно с ячейки F 2, а функцию выбирать ИЛИ. И для функции задается два значения – сначала D 2, потом курсор ставиться во второе значение и щелкается E 2.
3. Для операции логическое умножение (И), используется тот же алгоритм, только начинать нужно с ячейки J 2, а функцию выбирать И.
4. Сохраните результаты работы:
ФАЙЛ Сохранить как Мой компьютер Диск J Своя папка Сохранить
Сравните полученные таблицы с таблицами в тетради.
5. Построить таблицу истинности функции 
Перейдите на лист 2.
2. — переводим на язык связок F = не А или ( В или не С)
3
. Переменные 3, значит в таблице будет 8 строк. Вводим шаблон таблицы.
4. Определяемся с порядком действий:
не С, 2. В или (не С) , 3. не А 4. (не А) или (В или не С)
5. Запишем действия в соответствующие столбцы
6
. Дальше для каждого действия вставляется своя логическая функция (как для первых таблиц), только нужно внимательно смотреть над значениями из каких столбцов вы производите операции.
Практическая работа «Построение таблиц истинности в MS Excel»
методическая разработка по информатике и икт (11 класс) по теме
Научиться использовать логические функции программы Excel при построении таблиц истинности.
Задание 1. Доказать законы де Моргана с помощью таблиц истинности в ЭТ Excel.
Загрузить Excel .Создать структуру электронной таблицы.
Заполнить электронную таблицу данными. Используя логические функции произвести расчеты.
Перейти к контенту
§ 20. Преобразование логических выражений ГДЗ по Информатике 10 класс. Босова.
2. Докажите второй закон де Моргана с помощью таблиц истинности.
Ответ
Законы алгебры логики достаточно просто доказываются с применением различных способов.
Докажем второй закон де Моргана с помощью таблицы истинности. Построим таблицу истинности для левой и правой части закона.
| x | y | x ∨ y | ¬ (x ∨ y) | ¬ x | ¬ y | ¬ x ∧ ¬ y |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |
Заметим, что результирующие столбцы в таблице истинности совпали. Таким образом, формулы в левой и правой части закона равносильны.
<FRAME SRC=frame_a.htm NAME=»A»>
<FRAME SRC=empty.htm NAME=»B»>
<FRAME SRC=empty.htm NAME=»C»> </FRAMESET>
</HTML>
После того как созданы все эти файлы, запускается последний L3_a.htm.
Основы логики
1. Основные сведения Алгебра логики – это математический аппарат, с помощью которого записывают
(кодируют), упрощают, вычисляют и преобразовывают логические высказывания. Логическое высказывание— это любое утверждение, в отношении которого можно однозначно сказать истинно оно или ложно.
Создателем алгебры логики является английский математик Джордж Буль. Алгебра логики оперирует с логическими переменными, которые могут принимать только два значения – «истина», «ложь», которые обозначаются 1 и 0.
В алгебре логики используются три основные операции – И, ИЛИ, НЕ.
Для реализации этих операций на аппаратном уровне разработаны три логические схемы, которые также называются – И, ИЛИ, НЕ.
С помощью этих элементов можно реализовать любую логическую функцию. Работу логических элементов описывают с помощью таблиц истинности.
Таблица истинности – это табличное отражение работы логической схемы, в которой представлены все возможные комбинации значений входных сигналов и соответствующие им значения выходных сигналов.
Логический элемент ИЛИ предназначен для реализации функции: выходной
сигнал равен 1, если хотя бы один из входных сигналов равен единицы. Входных сигналов может быть два и более, выход только один.
|
Условное обозначение |
Для обозначения логической операции |
||||
|
на схеме |
ИЛИ используется знак V, операция назы- |
||||
|
вается логическое сложение, или дизъ- |
|||||
|
юнкция. |
|||||
|
Примеры записи: |
|||||
|
F = А V В C = А или В = А+В. |
|||||
|
Таблица истинности |
|||||
|
А |
В |
С |
|||
|
0 |
0 |
0 |
|||
|
0 |
1 |
0 |
|||
|
1 |
0 |
0 |
|||
|
1 |
1 |
1 |
|||
46
Логический элемент И предназначен для реализации функции: выход-
ной сигнал равен 0, если хотя бы один из входных сигналов равен нулю. Входных сигналов может быть два и более, выход только один.
|
Условное обозначение |
Для обозначения логической операции И |
||||
|
на схеме |
используется знак & ( / ), операция называ- |
||||
|
ется логическое умножение, или конъ- |
|||||
|
юнкция. |
|||||
|
Примеры записи: |
|||||
|
С = А & В С = А / В C = А и В = А·В. |
|||||
|
Таблица истинности |
|||||
|
А |
В |
С |
|||
|
0 |
0 |
0 |
|||
|
0 |
1 |
0 |
|||
|
1 |
0 |
0 |
|||
|
1 |
1 |
1 |
|||
Логический элемент НЕ предназначен для получения входного сигнала
противоположного входному. Элемент имеет один вход и один выход.
|
Условное обозначение |
Для обозначения логической операции НЕ |
||
|
на схеме |
используется знак , операция называется |
||
|
отрицание или инверсия |
|||
|
Примеры записи: |
|||
|
A = |
= неВ |
||
|
B |
Элемент НЕ имеет название инвертор. Таблица истинности
|
А |
В |
|
0 |
1 |
|
1 |
0 |
2. Законы логики
Для преобразования логических выражений с целью приведения их к нормаль-
ной форме используют законы логики.
Некоторые из них имеют аналоги в обычной алгебре.
|
Логические выражения |
Алгебраические выражения |
Закон коммутативности (переместительный)
47
|
А / В = В / А |
А* В = В * А |
|
А V В = В V А |
А + В = В + А |
|
Закон ассоциативности (сочетательный) |
|
|
( АVВ) V С = А V ( В VС) |
( А+В)+С = А + ( В+С) |
|
( А/ В) / С = А / ( В /С) |
( А*В)*С= А*(В*С) |
|
Закон дистрибутивности (распределительный) |
|
|
(А V В) / С = ( А / С) V (В / С) |
( А+В) *С= (А*С) +(В*С) |
|
(А/ В) V С= ( АV С) / (В VС) |
аналога нет |
Законы де Моргана, или инверсии
Закон отрицание отрицания:
Закон непротиворечия (высказывание не может быть одновременно ис-
тинным и ложным)
Закон исключенного третьего
Операции с константами
|
А V 0=А |
А / 0 = 0 |
|
А V 1= 1 |
А / 1=А |
|
Законы идемпотентности |
|
|
A / A = A |
A / A = A |
|
Законы поглощения |
|
|
A / ( A / B ) = A |
A / ( A / B ) = A |
|
Преобразование импликации |
|
Преобразование эквивалентности
48
Правила выполнения операций в сложных логических выражениях:
1.Выполняются действия в скобках.
2.Затем выполняются операции в порядке приоритетности:
1) инверсия 2) конъюнкция 3) дизъюнкция
3. Упрощение логических выражений
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Покажем на примерах некоторые приемы и способы, применяемые при упро-
щении логических формул:
1)
(законы алгебры логики применяются в следующей последовательности: правило де Моргана, сочетательный закон, правило операций переменной с её инверсией и правило операций с константами);
2)
(применяется правило де Моргана, выносится за скобки общий множитель, используется правило операций переменной с её инверсией);
3)
(повторяется второй сомножитель, что разрешено законом идемпотенции; затем комбинируются два первых и два последних сомножителя и используется закон склеивания)
4)
49
(вводится вспомогательный логический сомножитель (
); затем комбини-
руются два крайних и два средних логических слагаемых и используется закон поглощения);
5)
(сначала добиваемся, чтобы знак отрицания стоял только перед отдельными переменными, а не перед их комбинациями, для этого дважды применяем правило де Моргана; затем используем закон двойного отрицания);
6)
(выносятся за скобки общие множители; применяется правило операций с константами);
7)
(к отрицаниям неэлементарных формул применяется правило де Моргана; используются законы двойного отрицания и склеивания);
(общий множитель x выносится за скобки, комбинируются слагаемые в скобках
— первое с третьим и второе с четвертым, к дизъюнкции 
применяется правило операции переменной с её инверсией);
9)
(используются распределительный закон для дизъюнкции, правило операции переменной с ее инверсией, правило операций с константами, переместительный закон и распределительный закон для конъюнкции);
10)
50
(используются правило де Моргана, закон двойного отрицания и закон поглощения).
Задание №1. Решить задачи, согласно варианту, заданному преподавателем. Решения предоставить:
1.Для п.1 в виде таблиц истинности, в которой значения всех столбцов, кроме первых трех, должны быть вычислены с применением соответствующих формул, составленных в MS Excel.
2.Для п.2 в виде двух таблиц истинности, в которых значения последнего столбца должны быть вычислены с применением соответствующих формул, составленных в MS Excel. Итоговая таблица должна содержать результаты сравнения последних столбцов таблиц истинности и вывод о равносильности высказываний.
3.Для п.3 предоставить всю цепочку упрощений предложенных выражений с использованием редактора формул.
|
Вариант 1. |
Вариант 2. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1. |
Постройте таблицу истинности для |
1. |
Постройте таблицу истинности для |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
следующего логического выражения: |
следующего логического выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(A & B & |
) (B & |
) |
(B & A & |
) (B & |
) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
C |
C |
A |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2. |
Установить, равносильны ли два вы- |
2. |
Установить, равносильны ли два вы- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
сказывания: |
сказывания: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A & B и |
B |
B & A и B |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
A |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
3. Упростить логические выражения: |
3. Упростить логические выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
а) A & (( |
) |
& C) |
а) (A C)& ( |
B)& (A |
) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
C |
B |
A |
A |
C |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
б) X & Y & Z |
X & |
б) |
(X & |
Z )&Y |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
X & Y & Z |
Y |
Y |
Z |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Вариант 3. |
Вариант 4. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1. Постройте таблицу истинности для |
1. Постройте таблицу истинности для |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
следующего логического выражения: |
следующего логического выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(A & B) (B & |
) |
(A B) (B |
& C |
) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
C |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2. Установить, равносильны ли два вы- |
2. Установить, равносильны ли два вы- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
сказывания: |
сказывания: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A B и A & |
B A и |
& A |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
B |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
3. Упростить логические выражения: |
3. Упростить логические выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
а) ((X Y )& |
)) (( |
)& |
) |
а) ( |
& B)& (B C)& (A (B & C)) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
X |
X Y |
X |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
б) (A |
)& ( |
B) |
б) X &Y & Z X &Y & |
&Y & Z |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Z |
X |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
A |
A & B |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Вариант 5. |
Вариант 6. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1. Постройте таблицу истинности для |
1. Постройте таблицу истинности для |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
следующего логического выражения: |
следующего логического выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(B & A) (B |
) |
( |
) ( |
) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
& C |
B C |
A & C |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2. Установить, равносильны ли два вы- |
2. Установить, равносильны ли два вы- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
сказывания: |
сказывания: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A & B и |
B & A и B A |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A B |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
3. Упростить логические выражения: |
3. Упростить логические выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
а) (X |
)& |
(X |
) |
а) X & Y & Z X & |
X & |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Y & Z |
Y |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
& |
&Y |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Y |
X |
X |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
б) (A C)& ( |
B)& (A |
) |
б) A & (( |
) |
& C) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
C |
B |
C |
B |
A |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
51 |
|
Вариант 7. |
Вариант 8. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1. |
Постройте таблицу истинности |
для |
1. Постройте таблицу истинности для |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
следующего логического выражения: |
следующего логического выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A & (B & |
) |
A (C & |
) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B C |
B C |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2. |
Установить, равносильны ли два вы- |
2. Установить, равносильны ли два вы- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
сказывания: |
сказывания: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
и A & B |
и |
& |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B A |
B |
A |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
3. |
Упростить логические выражения: |
3. Упростить логические выражения: |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
а) (A |
)& ( |
B) |
а) |
(X & |
Z )&Y |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
A |
A & B |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Y |
Z |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
б) (X Y Z )& (X |
) |
б) ( |
& B)& (B C)& (A (B & C)) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Y |
Z |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Вариант 9. |
Вариант 10. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1. |
Постройте таблицу истинности |
для |
1. Постройте таблицу истинности для |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
следующего логического выражения: |
следующего логического выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
C & ( |
& B) |
& B & ( |
A) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A B |
A |
C |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2. |
Установить, равносильны ли два вы- |
2. Установить, равносильны ли два вы- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
сказывания: |
сказывания: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A & B и A B |
B & A и |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B A |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
3. |
Упростить логические выражения: |
3. Упростить логические выражения: |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
а) X &Y & Z X &Y & |
&Y & Z |
а) (X Y Z )& (X |
) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Z |
X |
Y |
Z |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
б) ( |
& B)& (B C)& (A (B & C)) |
б) (X |
)& |
(X |
) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
& |
&Y |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Y |
X |
X |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Вариант 11 |
Вариант 12 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1. |
Постройте таблицу истинности для |
1. Постройте таблицу истинности для |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
следующего логического выражения: |
следующего логического выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2. |
Установить, равносильны ли два вы- |
2. Установить, равносильны ли два вы- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
сказывания: |
сказывания: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
и A & B |
B A и |
& A |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
B |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
3. |
Вычислите значение логического вы- |
3. Вычислите значение логического вы- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
ражения: |
ражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
B |
C |
A |
B |
C |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1 |
0 |
1 |
0 |
1 |
0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
4. |
Упростите выражение |
4. Упростите выражение |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Вариант 13 |
Вариант 14 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1. |
Постройте таблицу истинности для |
1. Постройте таблицу истинности для |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
следующего логического выражения: |
следующего логического выражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2. |
Установить, равносильны ли два вы- |
2. Установить, равносильны ли два вы- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
сказывания: |
сказывания: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A & B и |
B |
и |
& |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
A |
B A |
B |
A |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
3. |
Вычислите значение логического вы- |
3. Вычислите значение логического вы- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
ражения: |
ражения: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
52 |
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
- #
- #
- #
- #
- #
- #
- #
- #
- #
- #
- #
Содержание
- Самостоятельной работы студентов
- Как составить таблицу истинности в excel
- Создать таблицу истинности в excel
- Практическая работа на тему «Построение таблиц истинности логических функций с помощью электронной таблицы MS Excel»
- Содержимое разработки
- Практическая работа «Построение таблиц истинности в MS Excel» методическая разработка по информатике и икт (11 класс) по теме
Самостоятельной работы студентов
«Построение таблиц истинности в MS Excel»
Цель работы:
Научиться использовать логические функции программы Excel при построении таблиц истинности.
Задание 1. Доказать законы де Моргана с помощью таблиц истинности в ЭТ Excel.
Загрузить Excel.Создать структуру электронной таблицы.
Заполнить электронную таблицу данными. Используя логические функции произвести расчеты.
=ИЛИ(Е2;F2)
=ИЛИ(Е4;F4)
=ИЛИ(Е5;F5)
Вы должны получить:
Вы проверили и убедились, что
Задание 2 Проверить с помощью ЭТ закон де Моргана
Задание 3 Проверить с помощью ЭТ сочетательный закон .
Задание 4 Установить в ЭТ истинность высказывания .
Задание 5 Установить в ЭТ является ли высказывание тавтологией?
Задание 6 Установить в ЭТ равносильны ли высказывания: ; ;
самостоятельной работы студентов
Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями.
Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм.
Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени.
ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при которых тело находится под действием заданной системы сил.
Метод архитекторов Этот метод является наиболее часто используемым и может применяться в трех модификациях: способ с двумя точками схода, способ с одной точкой схода, способ вертикальной плоскости и опущенного плана.
Дизартрии у детей Выделение клинических форм дизартрии у детей является в большой степени условным, так как у них крайне редко бывают локальные поражения мозга, с которыми связаны четко определенные синдромы двигательных нарушений.
Методика исследования периферических лимфатических узлов. Исследование периферических лимфатических узлов производится с помощью осмотра и пальпации.
Роль органов чувств в ориентировке слепых Процесс ориентации протекает на основе совместной, интегративной деятельности сохранных анализаторов, каждый из которых при определенных объективных условиях может выступать как ведущий.
Лечебно-охранительный режим, его элементы и значение. Терапевтическое воздействие на пациента подразумевает не только использование всех видов лечения, но и применение лечебно-охранительного режима – соблюдение условий поведения, способствующих выздоровлению.
Источник
Для преобразования логических формул к равносильным используются законы алгебры логики:
- законы коммутативности
- x ∧ y = y ∧ x
- x ∨ y = y ∨ x
- законы ассоциативности
- (x ∧ y) ∧ z = x ∧ (y ∧ z)
- (x ∨ y) ∨ z = x ∨ (y ∨ z)
- законы поглощения (нуля и единицы)
- x ∨ 0 = x
- x ∧ 1 = x
- законы дистрибутивности
- x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z)
- x ∨ (y ∧ z) = (x ∨ y) ∧ (x ∨ z)
- закон противоречия
- x ∧ ¬ x = 0
- закон исключенного третьего
- x ∨ ¬ x = 1
- законы идемпотентности
- x ∧ x = x
- x ∨ x = x
- закон двойного отрицания
- ¬ (¬ x) = x
- законы де Моргана
- ¬ (x ∧ y) = ¬ x ∨ ¬ y
- ¬ (x ∨ y) = ¬ x ∧ ¬ y
- законы поглощения
- x ∨ (x ∧ y) = x
- x ∧ (x ∨ y) = x
Законы алгебры логики достаточно просто доказываются с применением различных способов.
Пример 1. Докажем второй закон де Моргана с помощью таблицы истинности. Построим таблицу истинности для левой и правой части закона.
| x | y | x ∨ y | ¬ (x ∨ y) | ¬ x | ¬ y | ¬ x ∧ ¬ y |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |
Заметим, что результирующие столбцы в таблице истинности совпали. Таким образом, формулы в левой и правой части закона равносильны.
Пример 2. Докажем второй закон дистрибутивности (который несправедлив в алгебре чисел) путем тождественных преобразований.
1) Для доказательства раскроем скобки в правой части закона:
(x + y) • (x + z) = x • x + x • z + y • x + y • z
2) Используем закон идемпотентности: x • x = x . В результате имеем,
x + x • z + y • x + y • z
3) Применим закон поглощения x + x • z = x . После преобразования получим,
x + y • x + y • z
4) Применим закон поглощения x + y • x = x. Окончательно получаем,
x + y • z
Таким образом, (x + y) • (x + z) = x + y • z
Равенство доказано.
Copyright © 2014-2021, Урок информатики
Все права защищены
Источник
Как составить таблицу истинности в excel
Создать таблицу истинности в excel
Мне нужно составить формулу, которая даст вам таблицу истинности для переменного количества столбцов.
Пример
Замените FirstCell статической ссылкой на ячейку, содержащую первое значение 2^1, например, $D$1 для 4-битной таблицы (16 значений) и автозаполнение остальной части сетки (в примере A1:D16)
Логика этого такова:
Если текущая строка модуля 2 столбца силы тока (* -1, так как первое значение находится в последнем столбце и + 1, потому что оно начинается с 0) больше или равно половине 2 столбца силы тока, поместите значение как 1, иначе поставить значение 0.
Текущий рекомендуемый ответ мне не помог. Для более простого метода я бы рекомендовал следующую формулу:
Где TopRight находится верхняя правая ячейка таблицы истинности.
Например, если вы создаете таблицу истинности с 8 элементами, начинающимися с A3 , замените TopRight на $H$3 , а затем перетащите формулу из стороны в сторону и вниз.
Основное объяснение того, что происходит: в таблицах истинности строки чередуются 1 или 0 через каждое 2 ^ n количество строк, где n количество столбцов, на которое данный столбец отстоит от крайнего правого столбца.
Практическая работа на тему «Построение таблиц истинности логических функций с помощью электронной таблицы MS Excel»
Практическая работа на закрепление навыка построения таблиц истинности функций. Позволяет интегрировать изучение алгебры логики и табличного процессора MS Excel.
Ефимова Надежда Александровна , 17.09.2018
Содержимое разработки
бюджетное профессиональное образовательное учреждение
«Сокольский лесопромышленный политехнический техникум»
ПРАКТИЧЕСКАЯ РАБОТА ПО ТЕМЕ
«ПОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ЛОГИЧЕСКИХ ФУНКЦИЙ
С ПОМОЩЬЮ ЭЛЕКТРОННОЙ ТАБЛИЦЫ MS EXCEL »
Преподаватель – Н.А. Ефимова
ПРАКТИЧЕСКАЯ РАБОТА ПО ТЕМЕ
«ПОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ЛОГИЧЕСКИХ ФУНКЦИЙ
С ПОМОЩЬЮ ЭЛЕКТРОННОЙ ТАБЛИЦЫ MS EXCEL »
Цель работы: знакомство с логическими функциями Excel , закрепление навыков построения таблиц истинности и приобретение навыков построения таблиц истинности в табличном редакторе MS Office Excel .
ПУСК Программы Microsoft Office Microsoft Office Excel.
Microsoft Office Excel – это табличный редактор.
Он представляет собой электронную таблицу, состоящую из столбцов (они обозначаются латинскими буквами A , B , C ….) и строк (они обозначаются арабскими цифрами 1, 2, 3…).
На пересечение столбцов и строк находятся ячейки они именуются Имя_столбца № строки, например A 1, B 4….
Введите с помощью клавиатуры таблицы истинности для базовых логических операций по образцу, пока, не вычисляя их значение (внимательно заносите данные в ячейки, строго как в образце):
3. Вычислите значение логических операций с помощью мастера функций:
Для операции логическое отрицание (НЕ)
Выделите ячейку В2 (щелчком мыши, в ней будет храниться результат функции) Меню ВСТАВКА Функция
Появится окно мастера функций
В графе категория выберите – логические,
в списке функций – НЕ Ок
Затем щелкните по ячейке А2 (ведь функция вычисляется для значения из этой ячейки) и нажмите Ок
Далее для вычисления 2 значения подведите указатель мыши к ячейке В2, чтобы выскочил черный крестик, зажмите левую кнопку мыши и протяните вниз (Это называется автокопированием, т.е. функция остается такой же, а значение по которому она вычисляется, изменяется).
2. Для операции логическое сложение (ИЛИ) алгоритм аналогичен, только начинать нужно с ячейки F 2, а функцию выбирать ИЛИ. И для функции задается два значения – сначала D 2, потом курсор ставиться во второе значение и щелкается E 2.
3. Для операции логическое умножение (И), используется тот же алгоритм, только начинать нужно с ячейки J 2, а функцию выбирать И.
4. Сохраните результаты работы:
ФАЙЛ Сохранить как Мой компьютер Диск J Своя папка Сохранить
Сравните полученные таблицы с таблицами в тетради.
5. Построить таблицу истинности функции
Перейдите на лист 2.
2. — переводим на язык связок F = не А или ( В или не С)
3. Переменные 3, значит в таблице будет 8 строк. Вводим шаблон таблицы.
4. Определяемся с порядком действий:
не С, 2. В или (не С) , 3. не А 4. (не А) или (В или не С)
5. Запишем действия в соответствующие столбцы
6. Дальше для каждого действия вставляется своя логическая функция (как для первых таблиц), только нужно внимательно смотреть над значениями из каких столбцов вы производите операции.
Практическая работа «Построение таблиц истинности в MS Excel»
методическая разработка по информатике и икт (11 класс) по теме
Научиться использовать логические функции программы Excel при построении таблиц истинности.
Задание 1. Доказать законы де Моргана с помощью таблиц истинности в ЭТ Excel.
Загрузить Excel .Создать структуру электронной таблицы.
Заполнить электронную таблицу данными. Используя логические функции произвести расчеты.
Источник