Лабораторная работа №8 (excel_3). Тема: Логические функции. Построение таблиц истинности. Решение задач.
СОДЕРЖАНИЕ
Теоретическая часть 1
Законы алгебры логики 3
Решение логических задач средствами алгебры логики 5
Практическая часть 8
Задание 1 (общее для всех). 8
Задание 2. 8
Задание 3. 9
Контрольные вопросы 11
Теоретическая часть
Среди задач, для решения которых привлекаются ЭВМ, немало таких, которые по традиции принято называть логическими. Кто не знает шуточной задачи о перевозке волка, козы и капусты с одного берега на другой! В этой задаче властвует не арифметика, а умение рассуждать. Умение использовать логические операции повышает эффективность программирования. В настоящее время нет ни одного языка программирования, который не включал бы основных операций алгебры высказываний.
Алгебра высказываний. Основные логические операции
Мышление всегда осуществляется в каких-то формах. Основными формами мышления являются понятие, высказывание, умозаключение.
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта.
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними.
Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).
Объектами алгебры высказываний являются повествовательные предложения, относительно каждого из которых имеет смысл говорить истинно оно или ложно. Такие предложения называются простыми высказываниями. Например: «Липецк – город металлургов» - истинное высказывание, «Минск – столица Украины» - ложное высказывание.
В алгебре высказываний высказывания обозначаются именами логических переменных: А=1 (если высказывание истинно), А=0 (если высказывание ложно).
Высказываниями не являются, например, предложения “ученик десятого класса” и “информатика — интересный предмет”. Первое предложение ничего не утверждает об ученике, а второе использует слишком неопределённое понятие “интересный предмет”. Вопросительные и восклицательные предложения также не являются высказываниями, поскольку говорить об их истинности или ложности не имеет смысла.
Над высказываниями можно производить определенные логические операции, в результате чего получаются новые, составные высказывания. К таким логическим операциям относятся: логическое умножение (конъюнкция), логическое сложение (дизъюнкция), логическое отрицание (инверсия).
1. Операция, выражаемая связкой “и”, называется конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается знаком & (может также обозначаться знаками ^ или •). Высказывание А & В истинно тогда и только тогда, когда оба высказывания А и В истинны.
2. Операция, выражаемая связкой “или” (в неразделительном, неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio — разделение) или логическим сложением и обозначается знаком v или +). Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны.
3. Операция, выражаемая словом “не”, называется отрицанием и обозначается чертой над высказыванием. Высказывание не A истинно, когда A ложно, и ложно, когда истинно.
Порядок выполнения логических операций: сначала выполняется операция отрицания (“не”), затем конъюнкция (“и”), после дизъюнкция (“или”). Круглые скобки меняют приоритетность выполнения операции.
Ложное высказывание (или операция) обозначается 0 (ЛОЖЬ, FALSE)
Истинное высказывание (или операция) обозначается 1 (ИСТИНА, TRUU)
Тогда таблица истинности приобретает некий арифметический вид.
A |
B |
AΛB |
AVB |
|
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
|
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
|
В алгебре высказываний суждениям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита.
Логическая функция - это функция логических переменных, которая может принимать только два значения : 0 или 1. В свою очередь, сама логическая переменная (аргумент логической функции) тоже может принимать только два значения: 0 или 1. С помощью логических переменных и символов логических операций любое высказывание можно формализовать, т.е. заменить логической функцией. Обычно значения логических функций записываются в виде таблиц (т.н. таблицы истинности). Число строк в такой таблице - это число возможных наборов значений аргументов. Оно равно 2n, где n - число переменных. Согласно определению, таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
Пример 1. Для формулы
построить таблицу истинности.
Решение
Количество логических переменных 3, следовательно, количество строк в таблице истинности должно быть 23=8.
Количество логических операций в формуле 5, следовательно, количество столбцов в таблице истинности должно быть 3+5=8.
A |
B |
C |
|
|
|
|
|
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
