slide1
Download
Skip this Video
Download Presentation
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ

Loading in 2 Seconds...

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

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

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

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

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

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

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

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

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

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

F = (AvB)&(A^B)

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

  • Необходимо определить количество строк в таблице истинности.
    • количество строк = 2n,  где n – количество логических переменных
slide4
Учимся составлять таблицу истинности сложных выражений

F = (AvB)&(A^B)

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

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

F = (AvB)&(A^B)

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

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

F = (AvB)&(A^B)

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

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

F = (AvB)&(A^B)

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

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

F = (AvB)&(A^B)

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

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

F = (AvB)&(A^B)

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

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

Пример

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

А * (В + В * С)

slide11

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

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