changed section title
added boolean circuit
made a letter upper case o.0
added examples for p-completeness