Ə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.