Wrote introduction to boolean operators. Updated some notation.