Page 94 - 4196

Таблиця 4.16 – Таблиця істинності для диз’юнкції

A B A  B
0 0 0
0 1 1
1 0 1
1 1 1

3 Заперечення. Операція заперечення здійснюється
над одним висловлюванням і позначається смугою над
літерою. Наприклад, A читають  не А  . Висловлю-

вання A істинне тільки тоді, коли A неправдиве:
Таблиця 4.17 – Таблиця істинності для логічного запере-
чення

A A
0 1
1 0

4 Булевими функціями називаються нові змінні
, X Y ,..., які виникають в результаті застосування опера-
цій кон’юнкції, диз’юнкції і заперечення до вихідних
елементів ,A , B C ,....
5 Імплікація (логічне слідування). Висловлювання
“якщо A то B ”позначається A  B, де  позна-
чка логічного слідування. Припустимо, що A  B  I (іс-
тинне). Тоді A  B, тобто, якщо A істинне, то B також
істинне; якщо B неправдиве, то A також неправдиве;
якщо B істинне, то A може бути як істинним, так і не-
правдивим:

94