展开 英国数学家布尔提出了逻辑机的通用模