Юлиана Гриднева | Репутация: 14(Без статуса)
11 апреля 2023 в 04:49
Для проверки эквивалентности двух логических утверждений можно составить их таблицы истинности и сравнить значения во всех возможных комбинациях истинности переменных.
x y ¬x ¬y ¬x→¬y x→y ¬(x→y) ¬x→¬y↔¬(x→y)
0 0 1 1 1 1 0 1
0 1 1 0 0 1 0 1
1 0 0 1 1 0 1 1
1 1 0 0 1 1 0 1
Как видно из таблицы, значения выражения ¬x→¬y↔¬(x→y) равны 1 во всех возможных комбинациях значений переменных. Поэтому данные утверждения эквивалентны.
Для проверки эквивалентности двух логических утверждений можно составить их таблицы истинности и сравнить значения во всех возможных комбинациях истинности переменных.
x y ¬x ¬y ¬x→¬y x→y ¬(x→y) ¬x→¬y↔¬(x→y)
0 0 1 1 1 1 0 1
0 1 1 0 0 1 0 1
1 0 0 1 1 0 1 1
1 1 0 0 1 1 0 1
Как видно из таблицы, значения выражения ¬x→¬y↔¬(x→y) равны 1 во всех возможных комбинациях значений переменных. Поэтому данные утверждения эквивалентны.