1.1.8. 二进制代数