1.1. Определить количество переменных (простых выражений);
1.2. Определить количество логических операций и последовательность их выполнения.
1.3. Определить количество строк: количество строк = 2ª + строка для заголовка, где a – количество логических переменных.
1.4. Определить количество столбцов: количество столбцов = количество переменных + количество логических операций;
1.5. Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.
2. порядок выполнения действий
2.1. 1. Действия в скобках
2.2. 2. Инверсия
2.3. 3. Конъюнкция
2.4. 4. Дизъюнкция
3. определение
3.1. Таблица, описывающая логическую функцию.
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 Заполняем столбцы с учетом таблиц истинности логических операций.
