ВУЗ:
Составители:
14
Таблица истинности для данной операции имеет вид:
А В А&В
0 1 0
0 0 0
1 0 0
1 1 1
2. Дизъюнкция (∨, OR, ИЛИ) – это логическая сума, в результа-
те которой образуется новое высказывание, имеющее значение
истина, если истинно хотя бы одно из входящих высказываний.
Таблица истинности дизъюнкции:
А В
А∨В
0 1 1
0 0 0
1 0 1
1 1 1
3. Импликация ( →, следование) двух высказываний A и B (А
именуется посылкой, а B заключением) - это новое высказыва-
ние C, которое ложно только тогда, когда посылка истинна, а
заключение ложно.
Таблица истинности такой операции следующая:
А В
А→В
0 1 1
0 0 1
1 0 0
1 1 1
4. Эквиваленцией ( ↔, ≡, равносильность) двух высказываний
A и B является новое высказывание C, которое истинно толь-
ко тогда, когда оба входящих высказывания имеют одинако-
вое значение истинности.
Таблица истинности:
А В
А↔В
0 1 0
0 0 1
1 0 0
1 1 1
PDF created with FinePrint pdfFactory Pro trial version www.pdffactory.com
Таблица истинности для данной операции имеет вид: А В А&В 0 1 0 0 0 0 1 0 0 1 1 1 2. Дизъюнкция (∨, OR, ИЛИ) – это логическая сума, в результа- те которой образуется новое высказывание, имеющее значение истина, если истинно хотя бы одно из входящих высказываний. Таблица истинности дизъюнкции: А В А∨В 0 1 1 0 0 0 1 0 1 1 1 1 3. Импликация ( →, следование) двух высказываний A и B (А именуется посылкой, а B заключением) - это новое высказыва- ние C, которое ложно только тогда, когда посылка истинна, а заключение ложно. Таблица истинности такой операции следующая: А В А→В 0 1 1 0 0 1 1 0 0 1 1 1 4. Эквиваленцией ( ↔, ≡, равносильность) двух высказываний A и B является новое высказывание C, которое истинно толь- ко тогда, когда оба входящих высказывания имеют одинако- вое значение истинности. Таблица истинности: А В А↔В 0 1 0 0 0 1 1 0 0 1 1 1 14 PDF created with FinePrint pdfFactory Pro trial version www.pdffactory.com
Страницы
- « первая
- ‹ предыдущая
- …
- 12
- 13
- 14
- 15
- 16
- …
- следующая ›
- последняя »