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

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


  • 130 Views
  • Uploaded on

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

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ' - renate


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ

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

  • Чтобы определить значение логического выражения необходимо подставить значения логических переменных в выражение и выполнить логические операции. Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке:     1. инверсия;     2. конъюнкция;     3. дизъюнкция;     4. импликация и эквивалентность.Для изменения указанного порядка выполнения логических операций используются круглые скобки.


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

1. Подсчитать количество переменных в логическом выражении.

2. Определить число строк в таблице m = 2 n

3. Подсчитать количество логических операций в формуле.

4. Установить последовательность выполнения логических операций с учетом скобок и приоритетов.

5. Определить количество столбцов в таблице: число переменных плюс число операций.

6. Выписать наборы входных переменных с учетом того, что они представляют собой натуральный ряд n-разрядных двоичных чисел от 0 до 2 n - 1.

7. Заполнить таблицу истинности по столбикам, выполняя логические операции в соответствии с установленной последовательностью.


Учимся составлять таблицу истинности сложных выражений

F = (AvB)&(A^B)

F = (A ^ B)&(A v B)

  • Необходимо определить количество строк в таблице истинности.

    • количество строк = 2n,  где n – количество логических переменных


Учимся составлять таблицу истинности сложных выражений

F = (AvB)&(A^B)

F = (A ^ B)&(A v B)

  • Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций.


Учимся составлять таблицу истинности сложных выражений

F = (AvB)&(A^B)

F = (A ^ B)&(A v B)

  • Необходимо ввести названия столбцов таблицы в соответствии с последовательностью  выполнения  логических  операций  с  учетом скобок и приоритетов;


Учимся составлять таблицу истинности сложных выражений

F = (AvB)&(A^B)

F = (A ^ B)&(A v B)

  • Заполнить столбцы входных переменных наборами значений


Учимся составлять таблицу истинности сложных выражений

F = (AvB)&(A^B)

F = (A ^ B)&(A v B)

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


Учимся составлять таблицу истинности сложных выражений

F = (AvB)&(A^B)

F = (A ^ B)&(A v B)

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


Учимся составлять таблицу истинности сложных выражений

F = (AvB)&(A^B)

F = (A ^ B)&(A v B)

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


Пример истинности сложных выражений

Составить таблицу истинности логического выражения

А * (В + В * С)


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

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


ad