Разделы: Информатика

Цели:

1. Образовательные

• Основные логические операции.
• Построение таблиц истинности сложных высказываний.
• Логические схемы и логические выражения.

2. Развивающие

• Развитие исследовательской и познавательной деятельности.
• Лаконично, полно и содержательно отвечать и делать обобщающие выводы.

3. Воспитательные

• Формирование аккуратности при работе с компьютером.
• Понимание связей между другими учащимися, культурой поведения.

Тип урока: комбинированный

Методы организации учебной деятельности:

• фронтальная
• индивидуальная
• ученик-компьютер

Программно-дидактическое обеспечение: ПК, презентация, задание для практической работы, раздаточный материал, Electronics Workbench (EWB512), PowerPoint.

ХОД УРОКА

I. Организационный момент.

II. Актуализация ранее изученного материала и проверка домашнего задания.

Задания для выполнения в тетради и у доски.

№1. Составьте таблицы истинности для следующих логических выражений:

№3. Нарисовать на доске логические элементы И, ИЛИ, НЕ, И-НЕ, ИЛИ-НЕ.

III. Новый материал.

Над возможностями применения логики в технике ученые и инженеры задумывались уже давно. Например, голландский физик Пауль Эренфест (1880 - 1933), еще в 1910 году писал: "...Пусть имеется проект схемы проводов автоматической телефонной станции. Надо определить:

1) будет ли она правильно функционировать при любой комбинации, могущей встретиться в ходе деятельности станции;
2) не содержит ли она излишних усложнений.

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

Созданная позднее М.А. Гавриловым (1903 - 1979) теория релейно-контактных схем показала, что это вовсе не утопия.

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

Почему необходимо уметь строить логические схемы?

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

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

Правило построения логических схем:

1) Определить число логических переменных.
2) Определить количество базовых логических операций и их порядок.
3) Изобразить для каждой логической операции соответствующий ей вентиль и соединить вентили в порядке выполнения логических операций.

Рассмотрение двух примеров перехода от выражения к схеме. (Презентация)

Рассмотрение двух примеров перехода от схемы к выражению. (Презентация)

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

Рассмотрим следующую задачу: (Презентация)

Задача 1. В двухэтажном доме лестница освещается одной лампой Х. На первом этаже установлен один выключатель А, на втором этаже - выключатель В. Если включают А, то лампа загорается. При поднятии на второй этаж и включении В лампа гаснет. Если кто-то выходит и нажмет В, то лампа включается, при спуске на первый этаж и нажатии А лампа должна погаснуть.

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

• Составить таблицу истинности.
• Определить логическую функцию.
• Построить логическую схему.

A	B	X
0	0	0
1	0	1
1	1	0
0	1	1
0	0	0

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

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

IV. Закрепление изученного материала.

Работа у доски и в тетради по карточкам.

№1. По логическому выражению построить логическую схему:

№2. По логической схеме составьте логическое выражение:

V. Компьютерный практикум.

Практическая работа с использованием электронной лаборатории Electronics Workbench (EWB512).

Вариант 1

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

2. Проверьте свою работу, используя программу Electronics Workbench:

Запишите исходное выражение в Logic Converter;
- Составьте таблицу истинности
- Упростите выражение используя
- Постройте упрощенную логическую схему .

3. Проверьте правильность выполненных упрощений.

VI. Домашнее задание:

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

В цифровой схемотехнике цифровой сигнал - это сигнал, который может принимать два значения, рассматриваемые как логическая "1" и логический "0".

Логические схемы могут содержать до 100 миллионов входов и такие гигантские схемы существуют. Представьте себе, что булева функция (уравнение) такой схемы была потеряна. Как восстановить её с наименьшими потерями времени и без ошибок? Наиболее продуктивный способ - разбить схему на ярусы. При таком способе записывается выходная функция каждого элемента в предыдущем ярусе и подставляется на соответствующий вход на следующем ярусе. Этот способ анализа логических схем со всеми нюансами мы сегодня и рассмотрим.

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

Для обозначения логических элементов используется несколько стандартов. Наиболее распространёнными являются американский (ANSI), европейский (DIN), международный (IEC) и российский (ГОСТ). На рисунке ниже приведены обозначения логических элементов в этих стандартах (для увеличения можно нажать на рисунок левой кнопкой мыши).

На этом уроке будем решать задачи на логические схемы, на которых логические элементы обозначены в стандарте ГОСТ.

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

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

• трёх переменных (будут рассмотрены в задачах анализа и в одной задаче синтеза);
• четырёх переменных (в задачах синтеза, то есть в двух последних параграфах).

Рассмотрим построение (синтез) логических схем

• в булевом базисе "И", "ИЛИ", "НЕ" (в предпоследнем параграфе);
• в также распространённых базисах "И-НЕ" и "ИЛИ-НЕ" (в последнем параграфе).

Задача анализа логических схем

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

1. Логическая схема разбивается на ярусы. Ярусам присваиваются последовательные номера.
2. Выводы каждого логического элемента обозначаются названием искомой функции, снабжённым цифровым индексом, где первая цифра - номер яруса, а остальные цифры - порядковый номер элемента в ярусе.
3. Для каждого элемента записывается аналитическое выражение, связывающее его выходную функцию с входными переменными. Выражение определяется логической функцией, реализуемой данным логическим элементом.
4. Производится подстановка одних выходных функций через другие, пока не получится булева функция, выраженная через входные переменные.

Пример 1.

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

x , y , z :

x	y	z					f
1	1	1	0	1	1	1	1
1	1	0	0	0	0	1	0
1	0	1	0	0	0	1	0
1	0	0	0	0	0	1	0
0	1	1	0	0	0	1	0
0	1	0	0	0	0	1	0
0	0	1	0	0	0	1	0
0	0	0	1	0	1	0	0

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

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

Продолжаем искать булеву функцию логической схемы вместе

Пример 4. Найдите булеву функцию логической схемы и составьте таблицу истинности для логической схемы.

Решение. Разбиваем логическую схему на ярусы. Запишем все функции, начиная с 1-го яруса:

Теперь запишем все функции, подставляя входные переменные x , y , z :

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

.

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

x	y	z			f
1	1	1	0	1	1
1	1	0	0	1	1
1	0	1	1	0	1
1	0	0	0	0	0
0	1	1	0	1	1
0	1	0	0	1	1
0	0	1	0	1	1
0	0	0	0	1	1

Пример 5. Найдите булеву функцию логической схемы и составьте таблицу истинности для логической схемы.

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

Теперь запишем все функции, подставляя входные переменные x , y , z :

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

.

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

x	y	z			f
1	1	1	1	1	1
1	1	0	1	1	1
1	0	1	1	0	1
1	0	0	1	0	1
0	1	1	1	1	1
0	1	0	1	1	1
0	0	1	1	0	1
0	0	0	1	0	1

Задача синтеза логических схем в булевом базисе

Разработка логической схемы по её аналитическому описанию имеет название задачи синтеза логической схемы.

Каждой дизъюнкции (логической сумме) соответствует элемент "ИЛИ", число входов которого определяется количеством переменных в дизъюнкции. Каждой конъюнкции (логическому произведению) соответствует элемент "И", число входов которого определяется количеством переменных в конъюнкции. Каждому отрицанию (инверсии) соответствует элемент "НЕ".

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

Пример 6. Построить логическую схему, реализующую функцию с данной таблицей истинности.

Лабораторная работа № 2. Алгебра логики

Цель работы

Изучить основы алгебры логики.

Задачи лабораторной работы

В результате прохождения занятия студент должен:

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

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

Общие теоретические сведения

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

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

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

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

Пример. «3 – простое число» является высказыванием, поскольку оно истинно.

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

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

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

Пример. «x+2>5» - высказывательная форма, которая при x>3 является истинной, иначе ложной.

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

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

Пример. высказывание «Число 6 делится на 2» - простое высказывание. Высказывание «Число 6 делится на 2, и число 6 делится на 3» - составное высказывание, образованное из двух простых с помощью логической связки «и».

Истинность или ложность составных высказываний зависит от истинности или ложности элементарных высказываний, из которых они состоят.

Чтобы обращаться к логическим высказываниям, им назначают имена.

Пример. Обозначим через А простое высказывание «число 6 делится на 2», а через В простое высказывание «число 6 делится на 3». Тогда составное высказывание «Число 6 делится на 2, и число 6 делится на 3» можно записать как «А и В». Здесь «и» – логическая связка, А, В – логические переменные, которые могут принимать только два значения – «истина» или «ложь», обозначаемые, соответственно, «1» и «0».

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

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

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

Пример. Пусть А=«Сегодня пасмурно», тогда А=«Сегодня не пасмурно».

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

Пример. Высказывание «Число 6 делится на 2, и число 6 делится на 3» - истинно, а высказывание «Число 6 делится на 2, и число 6 больше 10» - ложно.

ИЛИ Операция, выражаемая связкой «или» (в неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio – разделение) или логическим сложением и обозначается знаком

(или плюсом). Высказывание А В ложно тогда и только тогда, когда оба высказывания А и В ложны.

Пример: Высказывание «Число 6 делится на 2 или число 6 больше 10» - истинно, а высказывание «Число 6 делится на 5 или число 6 больше 10» - ложно.

ЕСЛИ … ТО Операция, выражаемая связками «если …, то», «из … следует», «... влечет …», называется импликацией (лат. implico – тесно связаны) и обозначается знаком → . Высказывание А→В ложно тогда и только тогда, когда А истинно, а В ложно.

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

РАВНОСИЛЬНО Операция, выражаемая связками «тогда и только тогда», «необходимо и достаточно», «... равносильно …», называется эквиваленцией или двойной импликацией и обозначается знаком ↔ или ~ . Высказывание А↔В истинно тогда и только тогда, когда значения А и В совпадают.

Пример: Высказывание «Число является четным тогда и только тогда, когда оно делится без остатка на 2» является истинным, а высказывание «Число является нечетным тогда и только тогда, когда оно делится без остатка на 2» - ложно.

ЛИБО … ЛИБО Операция, выражаемая связками «Либо … либо», называется исключающее ИЛИ или сложением по модулю 2 и обозначается XOR или . Высказывание А В истинно тогда и только тогда, когда значения А и В не совпадают.

Пример. Высказывание «Число 6 либо нечетно либо делится без остатка на 2» является истинным, а высказывание «Либо число 6 четно либо число 6 делится на 3» – ложно, так как истинны оба высказывания входящие в него.

Замечание. Импликацию можно выразить через дизъюнкцию и отрицание:

Эквиваленцию можно выразить через отрицание, дизъюнкцию и конъюнкцию:

Исключающее ИЛИ можно выразить через отрицание, дизъюнкцию и конъюнкцию:

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

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

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

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

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

Пример . – логическая функция двух переменных A и B.

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

Приведем таблицу истинности основных логических операций (табл. 2)

Таблица 2

A	B

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

Алгоритм построения таблиц истинности для сложных выражений:

• количество строк = 2 n + строка для заголовка,
• n - количество простых высказываний.

• количество столбцов = количество переменных + количество логических операций;
• определить количество переменных (простых выражений);
• определить количество логических операций и последовательность их выполнения.

Пример 1. Составить таблицу истинности для формулы И–НЕ, которую можно записать так: .

1. Определить количество строк:

На входе два простых высказывания: А и В, поэтому n=2 и количество строк =2 2 +1=5.

2. Определить количество столбцов:

Выражение состоит из двух простых выражений (A и B) и двух логических операций (1 инверсия, 1 конъюнкция), т.е. количество столбцов таблицы истинности = 4.

3. Заполнить столбцы с учетом таблиц истинности логических операций (табл. 3).

Таблица 3. Таблица истинности для логической операции

Примечание: И–НЕ называют также «штрих Шеффера» (обозначают |) или «антиконъюнкция» ; ИЛИ–НЕ называют также «стрелка Пирса» (обозначают ↓) или «антидизъюнкция» .

Пример 2. Составить таблицу истинности логического выражения .

Решение:

1. Определить количество строк:

На входе два простых высказывания: А и В, поэтому n=2 и количество строк=2 2 +1= 5.

2. Определить количество столбцов:

Выражение состоит из двух простых выражений (A и B) и пяти логических операций (2 инверсии, 2 конъюнкции, 1 дизъюнкция), т.е. количество столбцов таблицы истинности = 7.

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

3. Заполнить столбцы с учетом таблиц истинности логических операций (табл. 5).

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

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

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

Алгоритм построения логических схем.

1. Определить число логических переменных.
2. Определить количество логических операций и их порядок.
3. Изобразить для каждой логической операции соответствующий ей логический элемент.
4. Соединить логические элементы в порядке выполнения логических операций.

Пример. По заданной логической функции построить логическую схему.

Решение.

1. Число логических переменных = 2 (A и B).
2. Количество операций = 5 (2 инверсии, 2 конъюнкции, 1 дизъюнкция). Сначала выполняются операции инверсии, затем конъюнкции, в последнюю очередь операция дизъюнкции.
3. Схема будет содержать 2 инвертора, 2 конъюнктора и 1 дизъюнктор.
4. Построение надо начинать с логической операции, которая должна выполняться последней. В данном случае такой операцией является логическое сложение, следовательно, на выходе должен быть дизъюнктор. На него сигналы подаются с двух конъюнкторов, на которые, в свою очередь, подаются один входной сигнал нормальный и один инвертированный (с инверторов).

Похожая информация.

4) Ответ: l v 0 & l = 1.

Пример 2

Постройте логическую схему, соответствующую логическому выражению

F = X & Y v (Y v X).

Вычислить значения выражения для X = 1, Y = 0.

1) Переменных две: X и Y;

2) Логических операций три: конъюнкция и две дизъюнкции: 14 3 2 X & Y v (Y v X).

3) Схему строим слева направо в соответствии с порядком логических операций:

3) Вычислим значение выражения: F = l & 0 v (0 v 1) = 0

Выполните упражнение

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

A) F = A v B & C, если А = 1, В=1, С=1.

Б) F = (A v B & C), если А=0, В=1, С=1.

B) F = A v B & C, если А=1, В=0, С=1.

Г) F = (А v В) & (С v В),еслиА=0, В=1, С=0.

Д) F = (А & В & С), если А=0, В=0, С=1.

Е) F = (A & B & C) v (B & C vA), если А=1, В=1,С=0.

Ж) F = B &A v B & A, если А=0, В=0.

Законы логики

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

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

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

	А= А	Закон тождества
	А&А=0	Закон противоре­чия
	Av A = l	Закон исключающего третьего
	А = А	Закон двойного отри­цания
	A&0 = 0 A v 0 = A	Законы исключения констант
	А&1=А A v 1 = 1	Законы исключения констант
	А&А=А A v A=A	Правило идемпотен­тности
	AvA = l
	(А→В)=А&В
	A→B = A v B
	А& (Av В)= А	Закон поглощения
	A v (А & В) = A	Закон поглощения
	А& (Av В) = А & В
	AvA&B = A v B
	(AvB) vC =Av(BvC) (A&B)&C = A&(B&C)	Правило ассоциатив­ности
	(A&B) v(A&C) = A&(BvC) (AvB)&(AvC) = Av(B&C)	Правило дистрибутив­ности
	AvB = BvA A&B = B&A	Правило коммутатив­ности
	AóB = A&Bv(A&B)
	(AvB)= A & B	Законы Моргана
	(A&B)=Av B	Законы Моргана

Пример

Упростите логическое выражение F = ((A v В) → (В v С)) . Это логическое выражение необходимо привести к нормальной форме, т.к. в нем присутствует импликация и отрицание логической операции.

1. Избавимся от импликации и отрицания. Воспользуемся (8). Получится: ((AvB)→(BvC))= (AvB)&(BvC).

2. Применим закон двойного отрицания (4). Получим: (AvB)&(BvC)= (AvB)&(BvC)

3. Применим правило дистрибутивности (15). Получим:

(AvB)&(BvC)= (AvB)&Bv(AvB)&C.

4. Применим закон коммутативности (17) и дистрибутивности (15). Получим: (AvB)&Bv(AvB)&C = A&BvB&BvA&CvB&C.

5. Применим (16) и получим: A&BvB&BvA&CvB&C=A&BvBvA&CvВ&С

6. Применим (15), т.е вынесем за скобки В. Получим:

A&BvBv A&Cv B&C=B&(Av1)v A&Cv В&С

7. Применим (6). Получим: В &(Avl)v A&Cv В &С= Bv A&Cv В &С.

8. Переставим местами слагаемые, сгруппируем и вынесем В за скобки. Получим:
BvA&CvB&C = B&(1vC)vA&C.

9. Применим (6) и получим ответ:

Ответ: F = ((A v В) → (В v С)) = В v A & С.

Упростите выражение:

1) F = (A & B) v(B v C).

2) F = (A→B) v (B→A).

3) F = A & C vA & C.

4) F = A vB vC v A v B v C.

5) F = (X & Y v(X & Y)).

6) F= X &(Y v X).

7) F = (X v Z) & (X vZ) & (Y v Z).

10) F= B&C& (AvA).

11) F= A&B&CvAvB

12) F= (AvB)&(BvA)& (CvB)

Упростите выражение:

1. F = A & C vA & C.

2. F= A ↔ B v A&C

3. F=A& (B↔C)

4. F = (X v Y) & (Y ↔ X).

5. F= A vB vC v A v B v C.

6. F=(AvB) → (AvC)

7. F= А ↔ (В v C)

8. F = A & B → C & D.

9. F= (X & Y v(X & Y)).

10. F = (X v Y) & (Y v X).

11. F= A ↔ B &C

12. F = (A v B) & (B v A→ B).

13. F= X &(Y v X).

14. F= A → B v A&C

15. F = X & Y v X.

16. F = ((X v Y) & (Z → X)) & (Z v Y).

17. F= (X v Z) & (X vZ) & (Y v Z).

18. F= А →(В v C)

19. F= A ↔ B v C

20. F = ((X v Y) & (Z v X)) & (Z → Y).

21. F= (B & (A→C))

22. F= A → B v A&C

23. F= А ↔ (В v C)

24. F = ((X v Y) & (Z v X)) & (Z v Y).

25. F= (A→B) v (B→A).

26. F = A & B & C & D.

27. F= А ↔(В v C)

28. F=A& (B→C).

29. F= A&(AvB)

30. F= А ↔ (В v C)

31. F= A → B v A &C

32. F = (A v B) & (B v A v B).

33. F= B&C& (AvA).

34. F= A & B v A&C

35. F = X & Y ↔ X.

36. F = ((X v Y) & (Z → X)) & (Z ↔ Y).

37. F= A&B&CvAvB

38. F = (X → Y) & (Y v X).

39. F= A → B &C

40. F = (A ↔ B) & (B v A &B).

41. F = (AvB)&(BvA)& (CvB).

42. F= A & B v A&C

43. F=A& (BvC)

44. F = (X → Y) & (Y ↔ X).

45. F= Av(A&B)

46. F = A & B ↔ C & D.

47. F= А ↔(В v C)

48. F=(X & Y) v (Y & X).