n. 【論理・数学】 ブール代数《集合算を抽象化して得られる代数系; コンピューターに用いられている》.