Составьте выражение, соответствующее таблице истинности:
A | B | C | D | X |
---|---|---|---|---|
0 | 0 | 0 | 0 | 1 |
0 | 0 | 0 | 1 | 1 |
0 | 0 | 1 | 0 | 1 |
0 | 0 | 1 | 1 | 1 |
0 | 1 | 0 | 0 | 1 |
0 | 1 | 0 | 1 | 1 |
0 | 1 | 1 | 0 | 1 |
0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 |
1 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 |
1 | 1 | 1 | 0 | 1 |
1 | 1 | 1 | 1 | 1 |
Запишите на языке логики предикатов:
Пример:
Всякое натуральное число, делящееся на 12, делится на 2, 4, 6.
N(x) – x – натуральное число
P(x) – x делится на 12
Q(x) – x делится на 2
R(x) – x делится на 4
S(x) – x делится на 6Ɐx ((N(x) ∧ P(x)) → (Q(x) ∧ R(x) ∧ S(x)))
Изобразите на координатной плоскости множества истинности предикатов: