বুলিয়ান উপপাদ্য (Boolean Theorems)
বুলিয়ান অ্যালজেবরার সাধারণ উপপাদ্যগুলো নিম্নে লেখা হল। এই সকল উপপাদ্য বুলিয়ান স্বতঃসিদ্ধেরই আরেকরূপ। এগুলোকেও স্বতঃসিদ্ধ ধরা হয়। এই সকল উপপাদ্যের সাহায্যে সকল জটিল সমীকরণ সমাধান করা হয়।
মৌলিক উপপাদ্য
১। A+0=A
২। A+A'=1
৩। A+A=A
৪। A+1=1
----------------
১। A.1=A
২। A.A'=0
৩। A.A=A
৪। A.0=0
বিনিময় উপপাদ্য
১। A. B'=B'.A
২। A+B'=B'+A
অনুষঙ্গ উপপাদ্য
ⅰ) A+(B+C) = (A+B)+C
ii) A.(B.C)=(A.B).C
বিভাজন উপপাদ্য
1) A (B+C) = AB + AC
2) A+BC=(A+B)(A+C)
ডি-মরগ্যানের উপপাদ্য
ⅰ) (A+B)'= A' . B'
ii) (A.B)'=A' + B'
সহায়ক উপপাদ্য
i) A+AB = A
ii) A(A+B) = A
iii) A'' = A
