Mantiqiy qo’shish deb, bu mulohaza va lar bir vaqtda yolg’on bo’lgandagina yolg’on,qolgan barcha holatda rost qiymatlarni qabul qiladi Mulohazalar implikatsiyasi deb, x1 chin x2 yolg’on bo’lgandagina yolg’on,qolgan barcha holatlarda rost qiymatni qabul qiladi
Pirs strelkasi ma'nosi: "Faqatgina P yoki Q bitta ham True bo'lsa, Pirs strelkasi amali True (to'g'ri) bo'ladi. Agar P va Q ham o'zlarida True bo'lsa yoki ham o'zlarida False bo'lsa, Pirs strelkasi amali False (xato) bo'ladi."
Raqamli texnikada ikkita holatga ega bo’lgan, nol va bir yoki “rost” va “yolg’on” so’zlari bilan ifodalanadigan sxemalar qo’llaniladi. Biror sonlarni qayta ishlash yoki eslab qolish talab qilinsa, ular bir va nollarning ma’lum kombinatsiyasi ko’rinishida ifodalanadi. U holda raqamli qurilmalar ishini ta’riflash uchun maxsus matematik apparat lozim bo’ladi. Bunday matematik apparat Bul algebrasi yoki Bul – mantiqi deb ataladi. Uni irland olimi D. Bul ishlab chiqqan..
Mantiq algebrasi “rost” va “yolg’on” – ko’rinishdagi ikkita mantiq bilan ishlaydi. Bu shart “uchinchisi bo’lishi mumkin emas” qonuni deb ataladi. Bu tushunchalarni ikkilik sanoq tizimidagi raqamlar bilan bog’lash uchun “rost” ifodani 1 (mantiqiy bir) belgisi bilan, “yolg’on” ifodani 0 (mantiqiy nol) belgisi bilan belgilab olamiz. Ular Bul algebrasi konstantalari deb ataladi. Umumiy holda, mantiqiy ifodalar har biri 0 yoki 1 qiymat oluvchi x1, x2, x3, …xn mantiqiy o’zgaruvchilar (argumentlar)ning funktsiyasi hisoblanadi.