Digital Electronics Made Easy – Boolean Algebra till FSMs