Question

ПОМОГИТЕ ПОЖАЛУЙСТА ! ДАЮ 40 БАЛЛОВ Определите истинность формулы HE((SvF) ^HE C) v HE ((SvC) ^B)

Answer 1

Эта формула является истинной

Answer 2

Для того чтобы определить истинность данной формулы, мы должны знать значения логических переменных, используемых в ней. В данном случае, используются следующие переменные:

H: Значение истины для некоторого выражения E: Значение истины для другого выражения S: Значение истины для третьего выражения F: Значение истины для четвертого выражения C: Значение истины для пятого выражения B: Значение истины для шестого выражения

Выражение (SvF) означает "S или F", а (SvC) означает "S или C". Знак "^" обозначает логическую операцию "И".

Формула HE((SvF) ^HE C) v HE ((SvC) ^B) означает "Значение истины для (S или F), истинность выражения C, и затем взять логическую операцию ИЛИ с Значением истины для (S или C), истинность выражения B".

Теперь мы можем создать таблицу истинности для данной формулы, чтобы определить ее истинность:

markdownCopy code
S  F  C  B  H  E  HE((SvF) ^HE C) v HE ((SvC) ^B)
--------------------------------------------------
0  0  0  0  0  0  0
0  0  0  0  0  1  1
0  0  0  1  1  0  1
0  0  0  1  1  1  1
0  0  1  0  0  0  0
0  0  1  0  0  1  1
0  0  1  1  1  0  1
0  0  1  1  1  1  1
0  1  0  0  0  0  0
0  1  0  0  0  1  1
0  1  0  1  0  0  0
0  1  0  1  0  1  1
0  1  1  0  0  0  0
0  1  1  0  0  1  1
0  1  1  1  1  0  1
0  1  1  1  1  1  1
1  0  0  0  0  0  0
1  0  0  0  0  1  1
1  0  0  1  1  0  1
1  0  0  1  1  1  1
1  0  1  0  0  0  0
1  0  1  0  0  1  1
1  0  1  1  1  0  1
1  0  1  1  1  1  1
1  1  0  0  0  0  0
1  1  0  0  0  1  1
1  1  0  1  0  0  0
1  1  0  1  0  1  1
1  1  1  0  0  0  0
1  1  1  0  0  1  1
1  1  1  1  1  0  1
1  1  1  1  1  1  1

Из таблицы видно, что выражение HE((SvF) ^HE C) v HE ((SvC) ^B) всегда имеет значение истины (1).