Det algebraiska systemet som kallas boolsk algebra och utgör grunden för konstruktion av datorer och elektroniska kretsar har utarbetats av?