Məntiqi (Bull) əməliyyatları
Məntiqi əməliyyatlar məntiqi tip kəmiyyətlərə tətbiq olunur və nəticə də məntiqi tipdə
olur. Məntiqi əməliyyatlar Bull cəbrinə əsasən yerinə yetirilir:
Operatorlar
Əməliyyatlar
x
y
not x
x and y
x or y
x xor y
f
f
t
f
f
f
f
t
t
f
t
t
t
f
f
f
t
t
t
t
f
t
t
f
( f- false)
( t- true)
TP-da məntiqi ifadələrin iki növ hesablanması mövcuddur: tam və qısaldılmış
Tam hesablamada bütün ifadənin qiyməti məlum olduqda belə hər bir operand hesablanır.
Qısaldılmış hesablamada isə bütün ifadənin qiyməti məlum olan kimi hesablama
dayandırılır.
Məsələn, (a and b) ifadəsi üçün tam hesablamada həm a-nın, həm də b-nin qiyməti
hesablandıqdan sonra bütün ifadənin qiyməti hesablanır. Qısaldılmış hesablamada isə a-nın
qiyməti false olarsa, b-nin qiyməti hesablanmır. Belə ki, b-nin qiymətindən asılı olmayaraq
ifadənin qiyməti false olacaq.
Çoxluqlar üzərində əməliyyatlar.
Çoxluqlar üzərində əməliyyatlar, çoxluqlar nəzəriyyəsinin qaydalarına görə aparılır.
İki çoxluğun birləşməsi, yəni A+B əməliyyatının nəticəsi, həm A çoxluğunun, həm də B
çoxluğunun bütün təkrarlanmayan elementləri çoxluğudur. Məsələn,
11
,
9
,
7
,
5
,
3
,
1
11
,
9
,
7
,
5
7
,
5
,
3
,
1
İki çoxluğun fərqi, yəni A-B əməliyyatının nəticəsi, A çoxluğunun B çoxluğuna daxil
olmayan elementlərindən təşkil olunur . Məsələn,
3
,
1
11
,
9
,
7
,
5
7
,
5
,
3
,
1
İki çoxluğun kəsilməsi, yəni A*B əməliyyatının nəticəsi A və B çoxluqlarının eyni
elementlərindən təşkilolunur. Məsələn,
7
,
5
11
,
9
,
7
,
5
*
7
,
5
,
3
,
1
downloaded from KitabYurdu.org
30
A və B –nin elementləri eyni olduqda A = B əməliyyatının nəticəsi True, A < > B
əməliyyatının nəticəsi isə false olur.
Əgər A çoxluğu B-nin altçoxluğudursa, A < = B əməliyyatının nəticəsi true olur.
Məsələn,
true
6
,
5
,
4
,
3
,
2
,
1
5
,
4
,
3
Əgər A çoxluğu B-nin bütün elementlərini saxlayırsa, A > = B əməliyyatının nəticəsi
true olur.
Məsələn,
true
4
,
3
5
,
4
,
3
;
false
6
,
5
,
4
,
3
5
,
4
,
3
Əgər hər hansı x kəmiyyəti, A-nin elementidirsə, onda x və A əməliyyatının nəticəsi true
olur.
Məsələn,
true
in
5
,
4
,
3
3
Dostları ilə paylaş: |
