Главная страница
Навигация по странице:

  • Сводная таблица истинности элементарных логических операции

  • Запись различных высказываний на естественном языке с помощью аппарата алгебры логики

  • Пример 4

  • ЗАДАЧИ И УПРАЖНЕНИЯ ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ

  • Формулы логики высказываний. Оценка формулы. Отношения между формулами

  • Двоичные функции от одной логической переменной

  • Двоичные функции от двух логических переменных

  • Алгоритм построения таблиц истинности

  • Отношения между формулами алгебры логики

  • Две формулы называются совместимыми, если хотя бы при одной оцен­ке m

  • Две формулы называются противоположными (инверсными), если при любой оценке переменных m

  • Курс лекций схемотенхника. Курс лекций схемотехника. Курс лекций по дисциплине Цифровая схемотехника для специальности


    Скачать 0.83 Mb.
    НазваниеКурс лекций по дисциплине Цифровая схемотехника для специальности
    АнкорКурс лекций схемотенхника
    Дата08.02.2023
    Размер0.83 Mb.
    Формат файлаdocx
    Имя файлаКурс лекций схемотехника.docx
    ТипКурс лекций
    #926629
    страница10 из 14
    1   ...   6   7   8   9   10   11   12   13   14

    Полнота системы логических функций


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

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

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

    базисными. Эти два базиса так и называют — конъюнктивный базис – { } и

    дизъюнктивный базис - {+, }.

    Оказывается, что существуют такие единичные логические операции, кото­рые обладают свойством полноты и являются базисными, то есть с помощью одной такой логической операции можно выразить все остальные логические операции, а, следовательно, и все логические функции. Таким свойством об­ладают две элементарные бинарные логические операции: отрицание конъюнк­ции {антиконъюнкция) и отрицание дизъюнкции (антидизъюнкция), которые также часто называют по имени ученых-логиков, соответственно, штрих Шеффе­ра (|) и строка Пирса — ( ). Логические операции штрих Шеффера (|) и стрелка Пирса ( ) определяются следующим образом.

    Отрицание от конъюнкции

    Отрицание от конъюнкции (отрицание от логического умножения, ан­тиконъюнкция) является операцией от двух логических переменных, которая принимает нулевое значение при единичных значениях переменных. Эту логи­ческую операцию называют функцией Шеффера (штрих Шеффера) и ее обозна­чают А|В (читается: А штрих Шеффера В). Штрих Шеффера эквивалентен. А|В= =

    Операция штрих Шеффера – А|В задается следующей табли­цей истинности.

    А

    В

    А|В

    0

    0

    1

    0

    1

    1

    1

    0

    1

    1

    1

    0

    Отрицание от дизъюнкции

    Отрицание от дизъюнкции (отрицание от логического сложения, анти­дизъюнкция) является операцией от двух логических переменных, которая при­нимает единичное значение при нулевых значениях переменных. Эту логиче­скую операцию также называется функцией Пирса (стрелка Пирса) и обознача­ют А В (читается "А стрелка Пирса В"). Стрелка Пирса эквивалентна A B=

    Иногда эту операцию называют НИ-НИ - "неправильно, что А и неправильно, что В"). Операция стрелка Пирса - A В задается следую­щей таблицей истинности

    А

    В

    А В

    0

    0

    1

    0

    1

    0

    1

    0

    0

    1

    1

    0

    Сводная таблица истинности элементарных логических операции

    X

    У

    NOT x

    х AND у

    х OR у

    х XOR у

    х IMP y

    x EQV у

    0

    0

    1

    0

    0

    0

    1

    1

    0

    1

    1

    0

    1

    1

    1

    0

    1

    0

    0

    0

    1

    1

    0

    0

    1

    1

    0

    1

    1

    0

    1

    1


    Запись различных высказываний на естественном языке с помощью аппарата алгебры логики

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

    Напомним еще раз» что различают два вида высказывании: простые и сложные. Простые высказывания надо рассматривать как не членимые на час­ти логические объекты. Из простых высказываний можно составить сложные высказывания. Сложное высказывание состоит из двух или более простых вы­сказываний. соединенных с помощью логических операций. Логическое зна­чение сложного высказывания зависит от истинностных значении составляю­щих его простых высказываний и его структуры.

    Рассмотрим несколько примеров записи вы­сказываний на естественном языке с помощью аппарата алгебры логики.

    Пример 1

    Записать на языке алгебры логики следующее высказы­вание: "Для солнечной погоды достаточно, чтобы не было ни ветра, ни дождя".

    Решение.

    Введем следующие простые высказывания:

    С- солнечная погода.

    В - дует ветер,

    D - идет дождь.

    Тогда приведенное высказывание будет записано как

    Пример 2

    Записать на языке алгебры логики следующее высказывание: «Я поеду и Москву и если встречу там друзей, то мы интересно прове­дем время»

    Решение.

    Введем следующие простые высказывания

    М - я поеду в Москву;

    В - встречу там друзей;

    И - интересно проведем там время.

    Тогда



    Пример 3

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

    Решение.

    Введем следующие простые высказывания:

    М - я поеду в Москву;

    В - встречу там друзей;

    И - интересно проведем там время.

    Тогда
    Пример 4

    Записать на языке алгебры логики следующее высказы­вание: "Неверно, что если дует ветер, то солнце светит только тогда, когда нет дождя".

    Решение.

    Введем следующие простые высказывания:

    В - дует ветер;

    D - идет дождь;

    С - светит солнце.

    Исходное высказывание на языке алгебры логики имеет вид:



    Пример 5

    Записать на языке алгебры логики следующее высказывание: "Если будет солнечная погода, то ребята пойдут в лес, а если будет пасмурная погода, то ребята пойдут в кино".

    Решение.

    Введем следующие простые высказывания:

    С - будет солнечная погона;

    L - ребята пойдут в лес;

    К- ребята пойдут в кино.



    Пример 6

    Записать на языке алгебры логики следующее высказы­вание: "Неверно, что если погода пасмурная, то дождь идет тогда и только то­гда, когда нет ветра".

    Решение.

    Введем следующие простые высказывания:

    Р - будет пасмурная погода;

    D - идет дождь;

    В - дуст ветер.



    Пример 7

    Записать на языке алгебры логики следующее высказы­вание: "Если не будет экономического кризиса, то достаточным условием стабильности курса рубля будет отсутствие политического кризиса в стране".

    Решение.

    Введем следующие высказывания:

    ЕК - будет экономический кризис,

    SR - будет стабильность курса рубля,

    PC - будет политический кризис.

    Тогда

    Пример 8

    Записать на языке алгебры логики следующее высказы­вание: "Эффективную финансовую политику предприятия можно ожидать, ес­ли будет экономическая стабильность в обществе".

    Решение.

    Введем высказывания:

    F- будет эффективная финансовая политика,

    S - будет экономическая стабильность в обществе.

    Тогда

    ЗАДАЧИ И УПРАЖНЕНИЯ ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ

    1. Пусть заданы следующие два простейших высказывания: В - дует ве­тер, и D- идет дождь. Что означают на естественном языке высказывания

    1.

    2.

    3.

    4.

    5.

    6.

    7.

    8.

    9.

    2. Переведите на язык алгебры логики следующее высказывание: "Если
    для солнечной погоды необходимо отсутствие дождя, то для того, чтобы пошел
    дождь, достаточно, чтобы погода была пасмурной и безветренной".

    3. Переведите на язык алгебры логики следующее высказывание:
    «Погода будет не только пасмурной, но и дождливой несмотря на ветер.
    Значит солнечной погоды не будет разве, что прекратится дождь».

    4. Пусть заданы следующие три простейших высказывания:

    В – Билл глуп,

    D - Джон умен

    S - Билл не выиграет соревнования.

    Переведите на ес­тественный язык высказывания, записанные с помощью алгебры высказыва­ний

    1. 2.

    Формулы логики высказываний. Оценка формулы.

    Отношения между формулами

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

    1. Пропозиционная переменная (некоторое высказывание) А и логические константы - 1 и 0 является формулами алгебры высказываний.

    2. Если А формула алгебры высказываний, то А являются также формулой.

    1. Если А и В являются формулы алгебры высказываний, то формулами ал­гебры высказывании являются и формулы

    2. Никаких других формул в логике высказывании нет.

    Формулы алгебры высказываний, зависящие от некоторого количества логических переменных A1, A2 ,A3,...,An, принято символически обозначать, как и в обычной математике, в виде - F(A1, A2 ,A3,...,An). Каждая формула представляет собой логическую функциювходящих в неe некоторых логических переменных, каждая из которых может принимать только значение 0 или 1. Отметим, что количество различных фиксированных комбинаций, которые может принимать а переменных A1, A2 ,A3,...,An, равно 2п.

    В дальнейшем понятие формулы алгебры высказываний и двоичной ло­гической функции будем считать эквивалентными, хотя пало сказать, что формул алгебры высказываний составленных из п переменных бесчисленное множество, а число двоичных функций от п переменных конечно и равно 2 . С ростом п число бинарных логических функций резко растет. При п-1 возможно всего 4 функций, при п = 2 число функций равно 16, а при п = 3 и п = 4 уже, соответственно, 256 и 65356.

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

    Двоичные функции от одной логической переменной

    A

    F0(A)

    F1(A)

    F2(A)

    F3(A)

    0

    0

    0

    1

    1

    1

    0

    1

    0

    1

    Двоичные функции от двух логических переменных

    A

    B

    F0

    F1

    F2

    F3

    F4

    F5

    F6

    F7

    0

    0

    0

    0

    0

    0

    0

    0

    0

    0

    0

    1

    0

    0

    0

    0

    1

    1

    1

    1

    1

    0

    0

    0

    1

    1

    0

    0

    1

    1

    1

    1

    0

    1

    0

    1

    0

    1

    0

    1

    A

    B

    F8

    F9

    F10

    F11

    F12

    F13

    F14

    F15

    0

    0

    1

    1

    1

    1

    1

    1

    1

    1

    0

    1

    0

    0

    0

    0

    1

    1

    1

    1

    1

    0

    0

    0

    1

    1

    0

    0

    1

    1

    1

    1

    0

    1

    0

    1

    0

    1

    0

    1

    Некоторые, из приведенных в таблице функций уже рассматривались ранее. Так например, функции F0 и F15 являются тождественно постоянными - F0(A,B) = 0, Fl5(A,B)- 1 (логическими константами). F1(A.B)=AB - являет­ся конъюнкцией логических переменных А и В, F7(A,B) = А + В - дизъюнкци­ей, F9(A, B) = А В - эквиваленцией, a F13(A,B) = А В импликацией. Функции F12, Fl0, F6, F3 и F14 являются, соответственно, отрицанием А, от­рицанием В исключающей дизъюнкцией А и В, стрелкой Пирса и штрихом Шеффера.

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

    например 001 …110. Такие последовательности нулей и единиц называют наборами и говорят: что функция F(A*1,A*2,A*3,....A*n) рассматривается на кон­кретном наборе (A*1,A*2,A*3,....A*n), где А*n есть либо ноль либо единица, а индекс указывает на то, что из всевозможных наборов рассматривается n- ая комбинация.

    По своему виду конкретные наборы соответствуют n-разрядной записи числа в двоичной системе счисления. Поэтому конкретные наборы часто пред­ставляют в виде двоичных или десятичных их числовых эквивалентов. Воз­можным наборам значений для некоторой логической функции от двух логических переменных А и В соответствуют четыре двоичных числа - 00, 01, 10 и 11 или их десятичных эквиваленты - 0, 1, 2 и 3. Для функции от трех логиче­ских переменных соответствуют восемь двоичных чисел - 000, 001, 010 011, 100, 101, 110, 111 или десятичных числа - 0, 1, 2 , 3. 4, 5, 6 и 7. Дли введен­ных логических функций от F0 до F3, представленных в первой таблице, и от F0 до F15, представленных во второй таблице, их десятичный индекс соответствует десятичному эквиваленту распределения их двоичных значений, если их запи­сать в виде двоичных чисел сверху вниз.
    Пример 1

    Какие из приведенных ниже выражений являются формулами логики высказываний, а какие нет?

    1. 2. 3. ; 4.

    Решение.

    Здесь выражения под номерами 1, 2 не являются формулами логики высказываний (в 1 - нельзя записать подряд две логические операции, в 2 - высказывание не может начинаться с символа логического сложения). Формулами логики высказываний является формулы под номерами 3 и 4.

    Иногда вводят в рассмотрение понятие "подформулы". Если F- формула, а - какая-либо ее связная часть, которая сама является формулой, то на­зывается подформулой формулы F. Понятие подформулы не следует путать с понятием связной части формулы. Связная часть формулы - это часть форму­лы, которая выписана из нее без пропусков. Например, в формуле есть следующие подформулы А, В, С, АВ, , . Никаких других подформул данная формула не имеет. Выражение является частью формулы, но подформулой не является. так­же не является подформулой, поскольку не является се связной частью. Глав­ной подформулой формулы Fназывается такая ее подформула, которая не явля­ется частью никакой другой подформулы формулы F. Например, формула имеет две главные подформулы + В) и .

    Логические формулы допускают различные тождественные преобразова­ния с целью их упрощения или придания им более удобного для применения вида. Запись формулы часто можно упростить:

    1) Внешние скобки можно опустить;

    2) Если подформула имеет вид , то скобки можно опустить. Та­ким образом, правила опускания скобок аналогичны соответствующим прави­лам опускания скобок в арифметике и алгебре, нужно лишь учитывать при­оритетность выполнения логических операции.

    Пример 2. Опустить лишние скобки в формуле



    Пример 3. Восстановите опушенные скобки в формуле



    Для каждой формулы алгебры логики может быть построена соответст­вующая таблица истинности. Задача построения таблицы истинности для формулы, состоящей из n переменных, есть задача построения двоичной функции (Булевой функции), соответствующей данной формуле.

    Алгоритм построения таблиц истинности

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

    • Определить количество переменных, входящих в формулу и составить табли­цу всевозможных значений переменных (наборов, иногда также говорят - оценок переменных), от которых зависит данная формула. Конкретные наборы можно рассматривать как числа в двоичной системе счисления и их удобно располагать в порядке возрастании от 0 до 2n -1, если количество переменных равно n.

    • Провести анализ построения этой формулы с учетом расположения скобок и приоритетности порядка выполнения логических операций. Выписать саму форму­лу, затем ее главные подформулы, затем под каждой подформулой снова выпишем главные подформулы и т.д. Количество столбцов в таблице должно быть равно сумме количества простых переменных и выделенных подформул плюс один стол­бец отводится на саму формулу. Общее количество строк должно быть на едини­цу больше, то есть 2n +1. Одна строка добавляется для записи переменных, всех подформул и самой формулы.

    • Поэтапно сверху вниз строить таблицу истинности, двигаясь слева направо, для всех подформул (лучше по порядку их выполнения). В результате получим таб­лицу истинности для исходной формулы.

    Пример

    Построить таблицу истинности для логической функции .

    Оценка

    А

    В









    m1

    0

    0

    1

    0

    1

    0

    m2

    0

    1

    0

    0

    1

    0

    m3

    1

    0

    1

    1

    0

    1

    m4

    1

    1

    0

    0

    1

    1


    Отношения между формулами алгебры логики

    Из полученной выше таблицы истинности видно, что истинностные значения формулы точно совпадают со значением логической пере­менной А. Они либо одновременно ложны, либо одновременно истинны. Та­кие формулы называются равносильными или эквивалентными. Равносильные формулы могут содержать различное количество логических переменных. Даже в рассмотренном примере, левая часть зависит от двух логических переменных - А и В, а правая часть только от одной логической переменной А. Важно, чтобы формулы, которые называются равносильными, имели одинаковые зна­чения при одинаковых наборах логических переменных по тем переменным, от которых они зависят. Для обозначения равносильности пользуются обычно знаком равенства:

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

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

    Пример

    Проверить равносильность формул с помощью таблиц истинности:

    1.

    2.

    3.

    4.

    5.

    6.








    А

    В










    А

    В









    0

    0

    1

    1

    1




    0

    0

    1

    1

    1

    1

    0

    1

    1

    1

    1




    0

    1

    1

    0

    1

    1

    1

    0

    0

    0

    0




    1

    0

    0

    1

    0

    0

    1

    1

    1

    0

    1




    1

    1

    0

    0

    0

    1










    А

    В

    А+В






    А

    В

    АВ

    А+АВ

    0

    0

    0

    0




    0

    0

    0

    0

    0

    1

    1

    0




    0

    1

    0

    0

    1

    0

    1

    1




    1

    0

    0

    1

    1

    1

    1

    1




    1

    1

    1

    1











    А

    В

    АВ












    А

    В

    А+В









    0

    0

    0

    1

    1

    1

    1




    0

    0

    0

    1

    1

    1

    1

    0

    1

    0

    1

    1

    0

    1




    0

    1

    1

    0

    1

    0

    0

    1

    0

    0

    1

    0

    1

    1




    1

    0

    1

    0

    0

    1

    0

    1

    1

    1

    0

    0

    0

    0




    1

    1

    1

    0

    0

    0

    0


    Таким образом, равносильными являются формулы 1 и 2, 3 и 4. Равносильные формулы можно рассматривать как "имена"' одного и то­го же объекта, то есть они взаимозаменяемы. В математике это достаточно привычная ситуация, когда некоторое математическое выражение заменяется любым ему тождественным. В простейших случаях некоторое число можно заменить другим тождественным представлением. Например, дробь 1/2 мож­но заменить на 3/6, а единицу заменить на сумму квадратов синуса и косину­са некоторого угла. Таким образом, замена одной фор­мулы на равносильную ей, ничего не меняет.

    Кроме понятия равносильности формул, для определения отношения между различными формулами пользуются также такими понятиями как со­вместимость, несовместимости противоположность, логическое следование.

    Две формулы называются совместимыми, если хотя бы при одной оцен­ке miпеременных (наборе переменных), они одновременно являются истин­ными. В противном случае они несовместимые.

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

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

    Всю совокупность формул логики высказываний можно разделить на три класса:

    • Нейтральные или выполнимые формулы. Формулы принимают как значение 1 (истинна), так и 0 (ложно).

    • Тождественно-истинные формулы (тавтологии). Формулы принимают толь­ко значение 1 (истинно) независимо от логических значений входящих в них переменных.

    • Тождественно-ложные формулы (противоречия или контрадикции). Формулы принимают только значение 0 (ложно) независимо от логических значений входящих в них переменных.

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

    Тождественно-истинные и тождественно-ложные формулы называют также невыполнимыми. Тождественно-истинные и тождественно-ложные фор­мулы играют большую роль в математической логике. Эго связано с тем, что при любых наборах значений логических переменных они сохраняют постоян­ное значение истинности и, к тому же, являются взаимоинверсными. С помо­щью тождественно-истинных формул, как правило, записываются основные законы математической логики.

    1   ...   6   7   8   9   10   11   12   13   14


    написать администратору сайта