Для определения истинности или ложности сложного логического выражения используют таблицы истинности. Количество строк напрямую зависит от количества переменных в логической формуле. К = 2 N, где N – количество простых высказываний в логической формуле. Логические операции выполняются в порядке приоритета. Если в логическом выражении нет скобок, то приоритет следующий: инверсия, конъюнкция, дизъюнкция.
Алгоритм построения таблицы истинности 1. Определите количество строк в таблице истинности. 2. Определите порядок действий в логическом выражении. 3. Заполните заголовки таблицы в соответствии с порядком действий. 4. Впишите в таблицу значения простых логических выражений. 5. Постройте таблицу истинности в соответствии с порядком действий.
Построить таблицу истинности для логического выражения: А \/ В. А ВАА \/ В
Построить таблицу истинности для логического выражения: (А /\ В)\/С АВСАА/\В(А/\В)\/С
Вопросы 1. Что показывает таблица истинности логического выражения? 2. Как определить количество строк в таблице истинности? 3. Когда истинно отрицание (дизъюнкция, конъюнкция)? 4. Назвать приоритет логических операций.