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

1. Расставьте порядок действий:

2. Определите количество переменных:

• Подсчитайте количество различных переменных (букв), входящих в логическую функцию.

3. Составьте таблицу:

• В первых столбцах таблицы запишите все возможные комбинации значений переменных.
• Количество строк в таблице равно 2 в степени n, где n - количество переменных.

4. Заполните таблицу:

• В первых nn столбцах запишите все возможные комбинации значений переменных (0 и 1).
• В последнем столбце запишите значения логической функции для каждой комбинации переменных.

5. Вычислите значения логической функции:

• Используйте определения логических операций (конъюнкция, дизъюнкция, импликация, эквивалентность и т.д.) для вычисления значений логической функции для каждой комбинации переменных.

Пример построения таблицы истинности для функции F=(A∧B)∨(¬A∧¬B):

Шаг 1.

1. ¬A
2. ¬B
3. ¬A∧¬B
4. A∧B
5. (A∧B)∨(¬A∧¬B)

Шаг 2.

Переменные: A и B, значит будет 4 пары входных параметров.

Шаг 3 и 4 и 5.

Дополнительный материал: