added boolean algebra and kmaps blog post