Докажи это \((not(p rarr q) ^^ (p harr notq)) harr ((p ^^ notq)) \)?

0
0

Докажи это \((not(p rarr q) ^^ (p harr notq)) harr ((p ^^ notq)) \)?

0
0

Мы можем построить таблицу истинности для каждого из утверждений.

Так как значения истинности для: \[not(p rarr q) ^^ (p harr notq)\] а также \[(p ^^ notq)\] являются одинаковыми для всех возможных комбинаций значений истинности \[p\] а также \[q\] , тогда \[(not(p rarr q) ^^ (p harr notq)) harr ((p ^^ notq)) \] является тавтологией и, следовательно, два предложения эквивалентны. QED

Показан 1 результат