The basic tools used for analysing and designing digital circuits is Boolean algebra. This website provides a straightforward explanation of the main aspects to bear in mind.