Question

Определите, являются ли два высказывания эквивалентными? ¬(А∨¬В) ∨¬В&С и ¬А&(В∨С)

Answer 1

Відповідь:

Нет

Пояснення:

Я хз как, поэтому предположим, что эквивалентность двух этих высказываний - это равенство результатов при одинаковых значениях аргументов.

A      B      C     ¬А    (В∨С)  ¬(А∨¬В)   ¬В&С   ¬(А∨¬В) ∨¬В&С   ¬А&(В∨С)

0      0      0        1       0           0           0                 0                   0          

0      0      1         1       1            0            1                 1                     1

0      1       0        1        1            1            0                 1                    1

0      1       1         1        1            1            0                 1                    1

1       0      0        0       0           0           0                 0                   0

1       0      1         0       1            0            1                 1                    0

1       1      0         0       1            0            0                 0                  0

1       1      1          0       1            0            0                 0                  0

Как видим из последних двух столбцов - эти высказывания не эквивалентны