1 / 11

КОНТРОЛЬ ЗНАНИЙ

КОНТРОЛЬ ЗНАНИЙ. ПОСТРОЕНИЕ ТАБЛИЦЫ ИСТИННОСТИ. ОПРЕДЕЛЕНИЕ. таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы. КОЛИЧЕСТВО НАБОРОВ ДЛЯ ПЕРЕМЕННЫХ.

zenia
Télécharger la présentation

КОНТРОЛЬ ЗНАНИЙ

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. КОНТРОЛЬ ЗНАНИЙ

  2. ПОСТРОЕНИЕ ТАБЛИЦЫ ИСТИННОСТИ

  3. ОПРЕДЕЛЕНИЕ таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.

  4. КОЛИЧЕСТВО НАБОРОВ ДЛЯ ПЕРЕМЕННЫХ • Для двух переменных, таких наборов значений переменных всегочетыре: (0, 0), (0, 1), (1, 0), (1, 1). • Для трёх переменных, таких возможных наборов значений переменныхвосемь(0, 0, 0), (0,0,1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1).

  5. ОПРЕДЕЛЕНИЕ Удобной формой записи при нахождении значений формулы является таблица, содержащая кроме значений переменных и значений формулы также и значения промежуточных формул. • ЭТА ТАБЛИЦА НАЗЫВАЕТСЯ ТАБЛИЦЕЙ ИСТИННОСТИ

  6. Алгоритм построения таблицы истинности • Необходимо определить количество строк в таблице истинности. Количество строк = 2n,  где • n – количество логических переменных • 2. Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций. • 3. Необходимо построить таблицу истинности с указанным количеством строк и столбцов, ввести названиястолбцов таблицы в соответствии с последовательностью   выполнения  логических  операций  с  учетом скобок и приоритетов; • 4. Заполнить столбцы входных переменных наборами значений • 5. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью

  7. СОСТАВИТЬ ТАБЛИЦУ ИСТИННОСТИ ДЛЯ ВЫРАЖЕНИЯ F = (AvB)&(AvB) • Определить количество столбцов в таблице количество столбцов = количеству логических переменных плюс количество логических операций. Сколько будет в нашем случае? В нашем случае количество переменных равнодвум,а количество логических операции —пяти, то есть количество столбцов таблицы истинности равносеми. ИТАК - 7 СТОЛБЦОВ

  8. СОСТАВИТЬ ТАБЛИЦУ ИСТИННОСТИ ДЛЯ ВЫРАЖЕНИЯ F = (AvB)&(AvB) Определить количество строк в таблице по формуле количество строк = 2n, где n - количество переменных В нашем случае логическая функция содержит 2 переменныеА и В Значит количество строк в таблице истинности должно быть равно4 + 1 для заголовка. В НАШЕЙ ТАБЛИЦЕ 7 столбцов и 4 строки ИТАК

  9. построим таблицу (AvB)&(┐Av┐B) А В А В АvB AvB 0 0 1 1 1 0 0 Заполним таблицу 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0

  10. Примеры. • D = ¬A & ( B+C ) : Е = ( К C ) &  С  К

  11. (А&В) v (┐А&┐В)

More Related