tā / zhèng zài / xué xí / Bù ěr dài shù / de / jī běn / dìng lǐ

他正在学习布尔代数的基本定理。

He is learning the fundamental theorems of Boolean algebra.