Даны простые высказывания:
a = {5> 3}; b = {2=3}; c = {4< 2}.
определите истинность составных высказываний:
1. (a∨b)& c ⇒ (a& c)∨(b& c);
2. (a& b)∨c ⇔ (a∨c)& (a& b).

иван1208 иван1208    2   12.11.2019 23:18    350

Ответы
ксюша1704 ксюша1704  21.01.2024 11:50
Для решения данной задачи, необходимо определить истинность каждого простого высказывания и затем использовать логические операторы для определения истинности составных высказываний.

Для простых высказываний:
1. a = {5> 3}. Данное высказывание истинно, так как 5 действительно больше 3.
2. b = {2=3}. Данное высказывание ложно, так как 2 не равно 3.
3. c = {4< 2}. Данное высказывание ложно, так как 4 не меньше 2.

Теперь перейдем к составным высказываниям:

1. (a∨b)& c ⇒ (a& c)∨(b& c)
Разберем данное высказывание пошагово:
- (a∨b) = (True∨False) = True (так как хотя бы одно из высказываний a или b верно)
- (a& c) = (False∧False) = False (так как оба высказывания a и c ложны)
- (b& c) = (False∧False) = False (так как оба высказывания b и c ложны)
- (a& c)∨(b& c) = (False∨False) = False (так как оба высказывания (a& c) и (b& c) ложны)
- (a∨b)& c ⇒ (a& c)∨(b& c) = True ⇒ False = False
Таким образом, исходное высказывание (a∨b)& c ⇒ (a& c)∨(b& c) ложно.

2. (a& b)∨c ⇔ (a∨c)& (a& b)
Разберем данное высказывание пошагово:
- (a& b) = (True∧False) = False (так как одно из высказываний a и b ложно)
- (a∨c) = (True∨False) = True (так как хотя бы одно из высказываний a или c верно)
- (a& b)∨c = (False∨False) = False (так как оба высказывания (a& b) и c ложны)
- (a∨c)& (a& b) = (True∧False) = False (так как хотя бы одно из высказываний (a∨c) и (a& b) ложно)
- (a& b)∨c ⇔ (a∨c)& (a& b) = False ⇔ False = True
Таким образом, исходное высказывание (a& b)∨c ⇔ (a∨c)& (a& b) истинно.

Итак, ответы:
1. (a∨b)& c ⇒ (a& c)∨(b& c) - ложно.
2. (a& b)∨c ⇔ (a∨c)& (a& b) - истинно.
ПОКАЗАТЬ ОТВЕТЫ
Другие вопросы по теме Информатика