Таблицы истинности
Для каждого составного высказывания (логического выражения) можно построить таблицу истинности, которая определяет его истинность или ложность при всех возможных комбинациях исходных значений простых высказываний (логических переменных).
При построении таблицы истинности целесообразно руководствоваться определенной последовательностью действий.
- Определить количество строк в таблице. Если количество логических переменных равно n, то количество строк = 2n.
- Определить количество столбцов, которое будет равно количеству переменных + количество логических операций.
- Построить таблицу, заполнить шапку и внести возможные наборы значений исходных логических переменных.
- Заполнить таблицу истинности по столбцам, выполняя базовые логические операции в необходимой последовательности.
Сложное логическое выражение – логическое выражение, составленное из одного или нескольких простых (или сложных) логических выражений, связанных с помощью логических операций.
Порядок выполнения логических операций в сложном логическом выражении:
1.инверсия;
2. конъюнкция;
3. дизъюнкция;
4. импликация;
5. эквивалентность.
Для изменения указанного порядка выполнения операций используются скобки. ПРИМЕР НА ПОСТРОЕНИЕ ТАБЛИЦЫ ИСТИННОСТИ
ВОПРОСЫ
ЗАДАНИЯ
| 
