second lecture on boolean algebra 1981943