Джордж Булл: краткая биография, законы булевой алгебры