Таблицы истинности АЛГОРИТМ. Алексеева Г.В., 2006 г. Таблицаистинности Таблица истинности Таблица, показывающая, какие значения принимает составное высказывание. - презентация

1 Таблицы истинности АЛГОРИТМ

2 Алексеева Г.В., 2006 г. Таблицаистинности Таблица истинности Таблица, показывающая, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний.

3 Алексеева Г.В., 2006 г. АЛГОРИТМ ПОСТРОЕНИЯ ТАБЛИЦЫ ИСТИННОСТИ 1. Подсчитать количество переменных n в логическом выражении; 2. Определить число строк в таблице, которое равно m=2 n ; 3. Подсчитать количество логических операций k в логическом выражении и определить количество столбцов в таблице, которое равно p=n+k

4 Алексеева Г.В., 2006 г. АЛГОРИТМ ПОСТРОЕНИЯ ТАБЛИЦЫ ИСТИННОСТИ 4. Ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; 5. Заполнить столбцы входных переменных наборами значений; 6. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью

5 Алексеева Г.В., 2006 г. ЗАПОЛНЕНИЕ НАБОРА ВХОДНЫХ ПЕРЕМЕННЫХ разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки нулями, а нижнюю единицами; АВС

6 Алексеева Г.В., 2006 г. ЗАПОЛНЕНИЕ НАБОРА ВХОДНЫХ ПЕРЕМЕННЫХ разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами нулей и единиц, начиная с группы нулей; АВС

7 Алексеева Г.В., 2006 г. ЗАПОЛНЕНИЕ НАБОРА ВХОДНЫХ ПЕРЕМЕННЫХ Продолжить деление колонок значений последующих переменных на 8, 16 и так далее частей и заполнение их группами нулей или единиц до тех пор, пока группы нулей и единиц не будут состоять из одного символа АВС

8 Алексеева Г.В., 2006 г. ПРИМЕР Построить таблицу истинности для составного высказывания: А&(B ¬B&¬C) 1. Количество переменных n=3; 2. Количество строк m=2 3 =8; 3. Количество столбцов k=5; p=3+5=8.

9 Алексеева Г.В., 2006 г. АВС ¬B¬B¬C¬C¬B&¬CB ¬B&¬CА&(B ¬B&¬C)

10 Алексеева Г.В., 2006 г. АВС ¬B¬B¬C¬C¬B&¬CB ¬B&¬CА&(B ¬B&¬C)