Логические выражения. Таблицы истинности логических выражений

Научимся вычислять логические выражения и строить для них таблицы истинности.

Демо-урок: попробуйте презентацию, задания и тест. Ответы проверяются, но не сохраняются. Другие уроки и возможности

Практическая работа «Таблицы истинности»

Решайте на черновике, ответ впишите в поле. Числа — без пробелов и единиц измерения, если не сказано иное. Программы пишите прямо на сайте: «▶ Запустить» выполняет код (данные для input() впишите в поле «Ввод»), «Проверить» запускает его на скрытых тестах.

Задания на сайте

Часть 1. Задания с автопроверкой

1Постройте таблицу истинности F = (A ∨ B) ∧ ¬C. Запишите столбец F сверху вниз (наборы 000 … 111) строкой из 0 и 1. Ответ

2Сколько наборов, на которых F = ¬A ∨ (B ∧ C) истинна? Ответ

3Сколько строк в таблице истинности функции 4 переменных? Ответ

4Какая функция задана таблицей?

A	B	F
0	0	0
0	1	0
1	0	1
1	1	0

A ∧ ¬B A ∨ B ¬A ∧ B

5Ввод: ничего. Вывод: таблица истинности F = (A ∨ B) ∧ ¬C: строки «A B C F» для всех наборов по порядку.

Ввод для запуска (каждое значение с новой строки):

Программа будет проверена на 1 тесте — нажмите «Проверить» внизу.

Готово? Переходите к тесту

Самооценка урока

Виви запомнит, как прошёл урок, и покажет это вместе с оценками в самоанализе.