binary and logic notes