לוגיקה בוליאנית
ויקיפדיה האנציקלופדיה encyclopedia
לוגיקה בּוּליאנית הוא ענף בלוגיקה מתמטית ובאלגברה בוליאנית המקבל את שמו ממפתחה הראשון, ג'ורג' בול. ענף זה עוסק בפסוקים אלגבריים שערכי איבריהם אמת או שקר בלבד. הערכים מיוצגים על ידי הסימונים ("אמת") ו- ("שקר") בהתאמה. לענף שימוש רב בתחשיב פסוקים, באלקטרוניקה ובמדעי המחשב.