Теоретические основы устройства персонального компьютера. Фролова С.В - 14 стр.

UptoLike

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