Постройте таблицы истинности для следующих выражений:
1) (-x -> (у -> Z)) ->
2) (-x -> Z) -> (y -> Z)
Оцените, для какого из двух выражений истинных наборов больше. Истинным набором считается тот набор значений переменных, при котором выражение истинно.
Мы рассматриваем переменные x, y и Z, каждая из которых может принимать значения Истина (И) или Ложь (Л). Всего 2³ = 8 наборов.
Выражения, как мы их интерпретируем:
1) Первое выражение имеет вид: (¬x → (y → Z))
где ¬x – отрицание x, а (y → Z) – импликация: «если y, то Z».
2) Второе выражение имеет вид: (¬x → Z) → (y → Z)
При этом часть выражения (¬x → Z) – это импликация, и (y → Z) – другая импликация.
Примечание по определению импликации: A → B ложно только тогда, когда A истинно, а B ложно; во всех остальных случаях...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Не нашел нужную задачу?