DM.LR.1.d: Describe how symbolic logic can be used to map the processes of computer applications.