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

Слайд 2

Алгоритм построения таблиц истинности Подсчитать количество переменных n; Определить число строк

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

Подсчитать количество переменных n;
Определить число строк в таблице:

m=2n;
Подсчитать количество логических операций и определить количество столбцов: кол-во переменных + кол-во операций;
Ввести названия столбцов;
Заполнить столбцы входных переменных наборами значений;
Провести заполнение таблицы истинности.
Слайд 3

Перечисление набора переменных: Разделить колонку значений первой переменной пополам и заполнить

Перечисление набора переменных:

Разделить колонку значений первой переменной пополам и заполнить верхнюю

часть колонки нулями, а нижнюю единицами;
Разделить колонку значений второй переменной на 4 части и заполнить каждую четверть чередующимися группами 0 и 1, начиная с 0;
Продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами 0 и 1 до тех пор, пока группы 0 и 1 не будут состоять из одного символа.
Слайд 4

Слайд 5

Слайд 6

Задание Построить таблицу истинности для выражения: A&(Bv B &C) Решение: n=3; m= 23=8; 3+5=8;

Задание

Построить таблицу истинности для выражения:
A&(Bv B &C)
Решение:
n=3;
m= 23=8;
3+5=8;

Слайд 7

Слайд 8

Слайд 9

Слайд 10

Слайд 11

Слайд 12

Слайд 13