Алгоритм заполнения таблицы истинности.
Таблица – это один из способов задания функций алгебры логики. Табличный способ, который предусматривает задание функции алгебры логики таблицей истинности. Наборы, на которых значение функции равно 1 называют рабочими, а на которых функция принимает нулевое значение – запрещенными. Алгоритм заполнения таблицы истинности: 1. Пусть функция состоит из n простых. 2. Тогда число строк в таблице истинности 2n (два значения: 0 или 1). 3. Число столбцов в таблице равно сумме числа переменных и числа различных логических операций, входящих в функцию. 4. Заполняем первые n столбцов для переменных (перебираем все возможные значения). Таким образом, все возможные варианты учтены и никакие два не совпадают. 5. Заполняем таблицу истинности в соответствии с определениями логических операций. Пример. Построить таблицу истинности для функции
|
