Таблица истинности

Get Started. It's Free
or sign up with your email address
Rocket clouds
Таблица истинности by Mind Map: Таблица истинности

1. определение

1.1. Таблица, описывающая логическую функцию.

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

2.1. Определить количество переменных (простых выражений);

2.2. Определить количество логических операций и последовательность их выполнения.

2.3. Определить количество строк: количество строк = 2ª + строка для заголовка, где a – количество логических переменных.

2.4. Определить количество столбцов: количество столбцов = количество переменных + количество логических операций;

2.5. Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.

3. порядок выполнения действий

3.1. 1. Действия в скобках

3.2. 2. Инверсия

3.3. 3. Конъюнкция

3.4. 4. Дизъюнкция

4. Логические операции

4.1. конъюнкция

4.2. дизъюнкция

4.3. инверсия

4.4. импликация

4.5. эквиволенция

5. Пример построения таблиц истинности

5.1. А & (B V C)

5.2. Простые выражения: А, В, С; (3) Количество логических операций: 2 Количество строк: на входе три простых высказывания: А, В, С , поэтому a=3 и количество строк = 2³ +1 = 9. Количество столбцов: 3+2=5 Заполняем столбцы с учетом таблиц истинности логических операций.