பூலிய இயற்கணிதம்: திருத்தங்களுக்கு இடையிலான வேறுபாடு

கணிதத்திலும், கணித ஏரணவியலிலும், '''பூலிய இயற்கணிதம்''' (Boolean algebra) என்பது இயற்கணிதத்தின் ஒரு பிரிவாகும். இப்பிரிவில், வேறிகளின் மதிப்பு '''உண்மை''', '''இன்மை''' என்னும் இரு நிலைகளேயாகும். இவை முறையே 1 அல்லது 0 என்று குறிக்கப்படும். இயற்கணிதத்தில் வேறிகளின் மதிப்பை எண்களைக் கொண்டு குறிப்பது போலின்றி, பூலிய இயற்கணிதத்தில், எண்கள் பயன்படுத்தப்படுவதில்லை. அதுபோன்றே கூட்டல், கழித்தல் போன்ற பிணைகளின்றி, இதில் உண்மை இன்மை ஆகிய இருநிலைகளில் ஒன்றும் ஒன்றும் சேர்ந்தால் (AND), ஒன்று அல்லது மற்றது (OR), அல்லாத (NOT), என்பவையே பிணைகளாக அமையும். எண்சார்ந்த உறவை இயற்கணிதம் விளக்குவதைப் போல, ஏரண உறவை பூலிய இயற்கணிதம் விளக்குகிறது.