Каталог статей

Главная » Статьи » Алгебра высказываний
102 Логические задачи

(А ˅ В) → С.

В ˄ А ˅ С.

˥(А ˄ В ˄ С)

А В С    А   В   С   А˅В  А˅С       А˅В → С    А˅С     В˄А˅С      А˄В˄С    ˥(А˄В˄С)

1  1  1    0   0    0      1       1              1             1            0                0              1

0  1  1    1   0    0      1       1              1             1            0                0              1

1  0  1    0   1    0      1       1              1             1            1                0              1

1  1  0    0   0    1      1       1              0             1            0                0              1

1  0  0    0   1    1      1       1              0             1            1                0              1

0  1  0    1   0    1      1       0              0             0            0                0              1

0  0  1    1   1    0      0       1              1           1              1                0              1

0  0  0    1   1    1      0       0              1           0              0                1              0

А – виновен или невиновен, В невиновен, С виновен

Категория: Алгебра высказываний | Добавил: алхимик (30.08.2022)
Просмотров: 127
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]