Решите простую логическую задачу.
Даны 4 карты. У первой и второй карт вы видите лицевую сторону с числами 5 и 8, у третьей и четвёртой – обратную сторону, у одной – голубую, у другой — зелёную.
Условие : если у карты на лицевой стороне изображено чётное число, то её обратная сторона – голубая.Вопрос: какие карты необходимо перевернуть для проверки этого утверждения?
http://lilac2012.livejournal.com/383811.html
Тема урока: Как построить таблицу истинности к логическому выражению?
Цели обучения:
Критерии оценивания:
Умеет строить таблицы истинности для логического выражения;
Применяет логические операции;
Соблюдает порядок выполнения логических операций;
Решает логические задачи с помощью таблиц истинности;
Логические выражения к высказываниям.
Принтер, и монитор, и плоттер – это устройства вывода информации
А и В и С = F А and В and С = F А & В & С = F A/\B/\C =F
Алан занял на олимпиаде не первое и не последнее место.
F= ¬A/\¬B
Четвертым предметом на ЕНТ я выберу физику или географию.
F=A\/B
ТАБЛИЦА ИСТИННОСТИ – это таблица, в которой перечислены все возможные значения входящих логических переменных и соответствующие им значения функции.
Где А,В – это логические переменные
F – результат логического выражения
А | B | F=А B |
0 | ||
1 | ||
1 | 0 | 1 |
А | B | F=А B |
0 | ||
1 | 0 | |
1 | 0 | |
А | F = А |
0 | 1 |
1 | 0 |
Алгоритм построения таблиц истинности
Определить число логических переменных (для столбцов)
Определить количество строк в таблице истинности (исходя их количества логических переменных и логических операций в выражении)
Записать все возможные значения логических переменных (в строки)
Определить количество логических операций и их порядок
Записать логические операции в таблицу истинности и определить для каждой значение соответственно логическим переменным
Выполнить логические операции и подсчитать F
Формула по определению количества строк в таблице истинности
где N – количество строк в таблице
q – количество логических переменных в данном выражении
Порядок выполнения действий в логических операциях
Инверсия (логическое отрицание)
Операции в скобках
Конъюнкция (логическое умножение)
Дизъюнкция (логическое сложение)
Импликация (следование)
Эквивалентность (равенство)
Самостоятельно построить таблицу истинности для логических выражений
F = B˅(B&A)
F = (A и не B) или (не A и B)
Материалы на данной страницы взяты из открытых источников либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.