revised a lot of small things, edited the circuits section to explain what boolean circuits are