Har bir fikr algebrasi formulasi uchun unga teng kuchli bo`lgan va faqatgina inkor ⌐, kon’yunksiya &, diz’yunksiya \/ amallarini o`z ichiga olgan formulani keltirish mumkin. Buning uchun implikasiya va ekvivalensiyadan qutulish qoidalaridan foydalanish kifoya.