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

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 (┐А&┐В)