题名	责任者	出版社	索书号
布尔代数与逻辑设计	刘云丰著	上海教育出版社	O153.2/2
布尔代数	戴世虎著	湖南教育出版社	O153.2/1