Digital electricity course design - four-bit binary subtraction counter