Таблица за истинност
a
|
b
|
aÚb
|
0
|
0
|
0
|
0
|
1
|
1
|
1
|
0
|
1
|
1
|
1
|
1
|
Пример: с=,,Тони е на плаж или е някъде с приятели"
Ако а=,,Тони е на плаж" , а b=,,Тони е някъде с приятели" , то с= аÚb. Наистина съждението с ще има стойност 0 само ако Тони не е на плаж, нито е с приятели, т.е. само когато и двете съставящи го съждения имат стойност 0.
в) логическо ,,и" - конюнкция - има два аргумента и има стойност 0, когато поне един от аргументите й има стойност 0, и 1, когато и двата аргумента са равни на 1.
Означава се с Ù или с AND, например aANDb или aÙb.
Таблица за истинност
a
|
b
|
aÙb
|
0
|
0
|
0
|
0
|
1
|
0
|
1
|
0
|
0
|
1
|
1
|
1
|
Пример: с=,,Момчил е рус и синеок"
Ако а=,,Момчил е рус" , а b=,,Момчил е синеок" , то с= аÙb. Наистина съждението с ще има стойност 1, само ако Момчил е едновременно рус и синеок, т.е. само когато и двете съставящи го съждения имат стойност 1.
г) равнозначност - има два аргумента и има стойност 0, когато аргументите й имат различни стойности, и 1, когато аргументите й са равни.
Означава се с «.
Таблица за истинност
a
|
b
|
a«b
|
0
|
0
|
1
|
0
|
1
|
0
|
1
|
0
|
0
|
1
|
1
|
1
|
Пример: Съждението с=,,Един четириъгълник е успоредник тогава и само тогава, когато диагоналите му се разполовяват взаимно" може да се разглежда като а«b, където а=,,Един четъриъгълник е успоредник" и b=,,Диагоналите на един четириъгълник се разполовяват взаимно". Очевидно, ако е вярно само а, или само b, то резултатното с ще има стойност 0, докато ако а и b имат равни стойности, то с е 1.
д) изключващо ,,или"( изкл. дизюнкция, неравнозначност, събиране по модул 2) - има два аргумента и има стойност 0, когато аргументите й имат равни стойности, и 1, когато аргументите й са различни.
Означава се с Å или с XOR.
Сподели с приятели: |
