કમ્પ્યુટરના લોજિકલ ફાઉન્ડેશને વ્યાખ્યાયિત કરેલા તર્કશાસ્ત્રના બીજગણિતનાં કાયદા, 19 મી સદીમાં અંગ્રેજ જે. બૌલે દ્વારા પાછા ઘડવામાં આવ્યા હતા.