Таблица истинности и проверка правила
Для n независимых логических переменных таблица содержит 2^nстрок.
В этом занятии
- Самостоятельно решить задачу по теме «Таблица истинности и проверка правила» и объяснить проверку результата.
- Построй таблицу правила (A ИЛИ B) И НЕ C и найди разрешённые состояния.
Пригодится: informatics10-implication
Разберёмся перед практикой+
Таблица истинности и проверка правила
Для n независимых логических переменных таблица содержит 2^nстрок. Нужно перебрать каждое сочетание ровно один раз. Промежуточные столбцы делают вычисление прозрачным и помогают обнаружить ошибку.
Совпадение формул на одном примере ещё не доказывает эквивалентность. Для конечного набора переменных их можно сравнить на всех строках. Один различающийся результат уже опровергает эквивалентность.
Для A,B строки 00,01,10,11. У A ИЛИ B результат 0,1,1,1; у A И B —0,0,0,1.
- Запиши все комбинации.
- Добавь столбцы подвыражений.
- Сравни итоговые столбцы построчно.
Открываем цифровую мастерскую…
Попробуй самостоятельно
Запиши рассуждения в черновик или сделай построение на бумаге. Эти задания для самостоятельной работы: автоматической проверки и XP за них пока нет.
- Построй таблицу правила (A ИЛИ B) И НЕ C и найди разрешённые состояния.
- Сначала предположи результат, затем проверь и объясни, что изменилось.
Источники и дальнейшее чтение
Материал изложен своими словами. Здесь можно проверить научные основания и подробнее изучить тему; часть источников — на английском.
Читай и разбирай пример в своём темпе. К практике можно перейти, когда будешь готов.