辞海

释义：bù ěr dài shù
即“逻辑代数”。