Студопедия

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника



ОПЕРАЦИИ НАД ВЫСКАЗЫВАНИЯМИ

Читайте также:
  1. АДАНИЕ N 1 сообщить об ошибке Тема: Высказывания. Основные операции над высказываниями
  2. Активы, активные операции, управление активами.
  3. Арифметические операции
  4. Валютно-обменные операции
  5. Вложенные операторы if. Сложное условие в операторе if. Логические операции
  6. Дата, после которой проценты на совершенные клиентом торговые операции не начисляются.
  7. ЗАДАНИЕ N 1 сообщить об ошибке Тема: Высказывания. Основные операции над высказываниями
  8. ЗАДАНИЕ N 1 сообщить об ошибке Тема: Основные операции над множествами. Диаграммы Эйлера-Венна
  9. Инвестиционные операции кредитных организаций
  10. Кассовые операции

Над высказываниями определены следующие операции: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция.

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

Отрицанием (Инверсией)высказывания А называется новое высказывание «не А» и обозначают его , которое считают истинным, когда Ф- ложно и ложным, когда А – истинно.

Зависимость логического значения от А можно записать в виде таблицы истинности, где 1 обозначает истинность высказывания, а 0-ложность высказывания (Табл.1).

Таблица 1

Таблица истинности отрицания высказывания

А

В ЭВМ операция инверсии физически реализуется стандартным логическим элементом «не» инвертором.

Конъюнкцией двух высказываний А и В называется новое высказывание «А и В», обозначаемое А&В (или А^В), которое считают истинным, если оба высказывания одновременно истинны, и ложным, если хотя бы одно из них ложно.

Зависимость логического значения А&В от логических значений А и В можно записать в виде таблицы истинности (Табл.2).

Таблица 2

Таблица истинности конъюнкции двух высказываний

А В А&В

 

Функция конъюнкции истинна тогда, когда истинны одновременно оба высказывания.

В ЭВМ операция конъюнкции физически реализуется стандартным логическим элементом «и» - конъюнктером.

 

 

Дизъюнкцией двух высказываний А и В называется новое высказывание «А или В», обозначаемое АÚВ, которое считают истинным, если истинно хотя бы одно из входящих в него высказываний и ложным, если ложны оба высказывания. Зависимость логического значения АÚВ от логических значений А и В можно записать в виде таблицы истинности (Табл.3).

Таблица 3

Таблица истинности дизъюнкции двух высказываний

А В АÚВ

 



Функция дизъюнкции истинна тогда, когда истинно хотя бы одно из входящих в него высказываний.

В ЭВМ операция дизъюнкции физически реализуется стандартным логическим элементом «или» - дизъюнктером.

 

 

 

Импликацией двух высказываний А и В называют новое высказывание «если А, то В», обозначаемое А→В, которое считают ложным, если А-истинно, а В – ложно и истинным во всех остальных случаях (Табл.4).

Таблица 4

Таблица истинности импликации двух высказываний

А В А→В

 

В ЭВМ нет логического элемента, который реализует операцию импликации. Для реализации данной операции строиться комбиноторно - логическая схема. На основании таблицы истинности составляется булева функция (СДНФ – совершенная дизъюнктивная нормальная форма)

Выписываем те строчки, где имеются 1 на выходе. Для всех таких наборов переменных запишем конъюнкции, инвертируя те переменные, которым соответствуют 0. Объединим полученные конъюнкции знаком дизъюнкции.

Анализируя, видим, что схема сложна и возникает желание упростить ее. Упрощение двоичных функций называется минимизацией.



Будем упрощать аналитически, используя закон логического склеивания.

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

Соответствующие выражения языка (Х эквивалентно Y, Х необходимо и достаточно для Y, Х тогда и только тогда, когда Y, Х если и только Y, Х такое же, как и Y)(Табл. 5).

Таблица 5

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

А В А↔В

 

В ЭВМ нет логического элемента, который реализует операцию эквивалентности. Для реализации данной операции строиться комбинаторно - логическая схема. На основании таблицы истинности составляется булева функция (СДНФ – совершенная дизъюнктивная нормальная форма).

Выписываем те строчки, где имеются 1 на выходе. Для всех таких наборов переменных запишем конъюнкции, инвертируя те переменные, которым соответствуют 0. Объединим полученные конъюнкции знаком дизъюнкции.

Минимизацию двоичной функции произведем на основании закона де Моргана.

 

Сводная таблица истинности для различных операций имеет следующий вид (Табл.6).

Таблица 6

Таблица истинности для различных операций

А В А&В АÚВ А→В А↔В

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

Соглашения, принятые для упрощения записи сложных высказываний:

1. все высказывание в скобки не заключается.

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

3. установлен следующий порядок действий первым выполняется отрицание, затем конъюнкция, далее дизъюнкция, импликация и эквиваленция.

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

 

Пример 1.Упростить формулу

1 способ:

Расставим порядок действий:

Составим таблицу истинности (Табл.7).

Таблица 7

Таблица истинности

A B

 

Последний столбец соответствует тождественно истинному высказыванию, поэтому

2 способ:

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

Решение:

1.

2.

3.

4.

значит

3 способ:

Воспользуемся формулами основных равносильностей:

 

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

 

РЕШЕНИЕ. Определим количество строк в таблице: так как данное сложное высказывание составлено из трех элементарных высказываний A, B, C, то таблица будет содержать 23=8 строк. Количество столбцов определяется числом составных высказываний, полученных в результате выполнения логических операций с соблюдением порядка действий: первой выполняется конъюнкция, затем – дизъюнкция. Импликация, и эквиваленция – в порядке их исследования. Операция отрицания выполняется тогда, когда возникает в ней необходимость.

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


Таблица 8


Дата добавления: 2015-09-14; просмотров: 17; Нарушение авторских прав


<== предыдущая лекция | следующая лекция ==>
ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ | ПРАКТИЧЕСКИЕ ЗАДАНИЯ
lektsii.com - Лекции.Ком - 2014-2019 год. (0.015 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты