Logical design of digital computers