'''לוגיקה בוליאניתבּוּליאנית''' הוא ענף ב[[לוגיקה מתמטית]] וב[[אלגברה בוליאנית]]. ענף זה עוסק בפסוקים אלגבריים שערכי איבריהם אמת או שקר בלבד. הערכים מיוצגים על ידי הסימונים <math> '1'\ </math> ו- <math> '0'\ </math> בהתאמה. לענף שימוש רב ב[[תחשיב פסוקים]], ב[[אלקטרוניקה]] וב[[מדעי המחשב]].