N-S diagrams are used to design algorithms by visually representing processes, conditionals, iterations, and modules. They contain four main block types: process (single steps), conditional (dependent on choices), iteration (loops), and modules (groupings that can be referenced). Test first loops test a condition before repeating actions, while test last loops test after actions are performed at least once.