4.1 Rules of binary addition