1 / 11

ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ

ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ.

renate
Download Presentation

ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ • Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить как логические переменные буквами и связать их с помощью знаков логических операций. Такие формулы называются логическими выражениями.Например: • Чтобы определить значение логического выражения необходимо подставить значения логических переменных в выражение и выполнить логические операции. Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке:     1. инверсия;     2. конъюнкция;     3. дизъюнкция;     4. импликация и эквивалентность.Для изменения указанного порядка выполнения логических операций используются круглые скобки.

  2. Алгоритм построения таблиц истинности 1. Подсчитать количество переменных в логическом выражении. 2. Определить число строк в таблице m = 2 n 3. Подсчитать количество логических операций в формуле. 4. Установить последовательность выполнения логических операций с учетом скобок и приоритетов. 5. Определить количество столбцов в таблице: число переменных плюс число операций. 6. Выписать наборы входных переменных с учетом того, что они представляют собой натуральный ряд n-разрядных двоичных чисел от 0 до 2 n - 1. 7. Заполнить таблицу истинности по столбикам, выполняя логические операции в соответствии с установленной последовательностью.

  3. Учимся составлять таблицу истинности сложных выражений F = (AvB)&(A^B) F = (A ^ B)&(A v B) • Необходимо определить количество строк в таблице истинности. • количество строк = 2n,  где n – количество логических переменных

  4. Учимся составлять таблицу истинности сложных выражений F = (AvB)&(A^B) F = (A ^ B)&(A v B) • Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций.

  5. Учимся составлять таблицу истинности сложных выражений F = (AvB)&(A^B) F = (A ^ B)&(A v B) • Необходимо ввести названия столбцов таблицы в соответствии с последовательностью  выполнения  логических  операций  с  учетом скобок и приоритетов;

  6. Учимся составлять таблицу истинности сложных выражений F = (AvB)&(A^B) F = (A ^ B)&(A v B) • Заполнить столбцы входных переменных наборами значений

  7. Учимся составлять таблицу истинности сложных выражений F = (AvB)&(A^B) F = (A ^ B)&(A v B) • Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.

  8. Учимся составлять таблицу истинности сложных выражений F = (AvB)&(A^B) F = (A ^ B)&(A v B) • Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.

  9. Учимся составлять таблицу истинности сложных выражений F = (AvB)&(A^B) F = (A ^ B)&(A v B) • Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.

  10. Пример Составить таблицу истинности логического выражения А * (В + В * С)

  11. Таблица истинности логического выражения 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1

More Related