Практическая работа № 1. «Упрощение логических функций»

«Упрощение логических функций»

Раздел 1. Сведения по информатике и вычислительной технике.

Тема 1.2 Информационно-логические основы ЭВМ.

Цели работы:

Ø изучить основные логические операции;

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

Ø научиться составлять таблицы истинности логических функций;

Ø закрепить теоретические знания и практические умения по данной теме.

1. Сведения из теории:

Булева алгебра — это название области математики, занимающейся логическим анализом. Простейшая булева алгебра состоит из множества В= {0, 1} вместе с определенными на нем логическими операциями.

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

Высказывание - связное повествовательное предложение, о котором можно сказать, истинно оно или ложно.

Поставим в соответствие высказыванию логическую переменную х, которая принимает значение 1, если высказывание истинно, и 0, если высказывание ложно.

Ø Пример 1. "2 * 2 = 4" (Дважды два равно четырем)

Ø Пример 2. "2 < 3"

В приведённых примерах высказывание 1 − "истинно", 2 − "ложно".

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

Это новое высказывание называется составным, в то время как высказывания, из которых оно образовано, называются его простыми составляющими или компонентами.

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

Высказывания будем обозначать прописными буквами латинского алфавита X, Y, Z....

Составные высказывания будем получать из простых с помощью логических операций: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность, которые осуществляются при помощи логических связок: Ø; &; Ú; ®; ↔.

Название	Прочтение	Обозначение
Отрицание	не	Ø, ¯
Конъюнкция	и	&, ^
Дизъюнкция	или	Ú
Импликация	если …. то	®
Эквивалентность	тогда и только тогда, когда	↔

Пусть даны два произвольных высказывания Xи Y.

Отрицанием высказывания Xназывается высказывание X, которое истинно, когда X ложно, и ложно, когда Xистинно. Таблица истинности для отрицания.

X	ØX

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

X	Y	X&Y

Дизъюнкцией двух высказываний Xи Y называется высказывание XVY, которое истинно, когда хотя бы одно из них истинно. Таблица истинности дизъюнкций.

X	Y	XVY

Импликацией двух высказываний Xи Y называется высказывание X®Y, которое ложно тогда и только тогда, когда Xистинно, а Y ложно. Таблица истинности для импликации.

X	Y	X ®Y

Эквивалентностью высказываний Xи Y называется высказывание X↔Y, которое истинно тогда и только тогда, когда Xи Y оба истинны или ложны.

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

X	Y	X↔Y

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

Например, составными будут высказывания: (X^Y); Х^Х; (XÚY)Ú Х.

Новые высказывания могут быть образованы при помощи нескольких логических операций и составлять формулы, некоторые из которые рассматриваются как логические операции, осуществляемые при помощи других логических связок: |; ↓; Å.

Название	Прочтение	Обозначение
Штрих Шеффера	Антиконъюнкция	|
Стрелка Пирса	Антидизъюнкция	↓
Сумма по модулю два	Антиэквивалентность	Å

Штрих Шеффера Yили антиконъюнкция, по определению X|Y=X&Y. Таблица истинности штриха Шеффера.

X	Y	X|Y

Стрелка Пирса, или антидизъюнкция, по определению X↓Y = ØXÚY.

Таблица истинности Стрелки Пирса.

X	Y	X↓Y

Сумма по модулю два, или антиэквивалентность, по определению X Å Y = ØY↔Y.

Таблица истинности суммы по модулю два.

X	Y	XÅY

Два высказывания А и В будем называть равносильными (и писать АºВ или А=В), если их значения истинности равны.

Дата добавления: 2015-07-13