Taifead r-phoist: An introduction to digital logic