Əməllərin yerinə yetirilmə ardıcıllığını dəyişdirmək üçün məntiqi
ifadələrdə mötərizələrdən istifadə olunur.
Yuxarıda qeyd olunduğu kimi, implikasiya və ekvivalentlik əməllərini
üç əsas əməl vasitəsilə ifadə etmək mümkündür. Belə ki, implikasiya
ilə inkar və dizyunksiya, ekvivalentlik ilə inkar, dizyunksiya və
konyuksiya arasında aşağıdakı eyniliklər doğrudur:
A
B =
A
B
A
B = (
A
B)
(
B
A)
Məntiqi əməllərin çoxluqlar üzərindəki əməllər şəklində ifadəsi
Adi cəbrdə olduğu kimi, məntiq cəbrinin də əsas qanunları vardır. Bu qanunlardan
istifadə etməklə məntiqi ifadələr üzərində eynilik çevirmələri aparmaq, eləcə də
mürəkkəb məntiqi ifadələri sadələşdirmək olur.
Məntiq cəbrinin əsas qanunları
Qanun
VƏYA üçün
VƏ üçün
Yerdəyişmə
Qruplaşdırma
Paylama
De Morqan
Eyni güc
Udma
Yapışdırma
Tamamlayıcı
Təsirsiz element
Yoxedici
İkiqat inkar
Nümunə!
Uyğun qanunları tətbiq etməklə
B ifadəsini sadələşdirək.