ВУЗ:
Составители:
Рубрика:
'
2. Доказать, что
()''
A
BA∪=∩B.
Указание. Учтите, что, согласно определению дополнения множества,
соотношения
'xA
∈
и равносильны.
xA∉
1.2 Таблицы истинности
Если некоторое высказывание истинно, то будем обозначать это цифрой
«1», если ложно – то цифрой «0». Логические операции формально опреде-
ляются таблицами истинности.
Например, таблица истинности отрицания
p
высказывания (
p p
читает-
ся «не
»):
p
p
p
1
0
0
1
Таблица истинности конъюнкции высказываний и :
p q
p
q
pq
∧
1
1
0
0
1
0
1
0
1
0
0
0
Таблица истинности дизъюнкции высказываний
и :
p q
p
q
pq
∨
1
1
0
0
1
0
1
0
1
1
1
0
Таблицы истинности равносильных высказываний совпадают.
3. Даны высказывания
и
q
. Доказать равенство
p
()( )(pqr pq pr)
∧
∨= ∧∨ ∧
. (4)
5
Страницы
- « первая
- ‹ предыдущая
- …
- 3
- 4
- 5
- 6
- 7
- …
- следующая ›
- последняя »