Ladder logic diagrams are used to document industrial control systems. They resemble ladders with vertical power rails and horizontal rungs representing circuits. Digital logic functions like AND, OR, and NOT can be represented using contact configurations. Permissive and interlock circuits ensure multiple conditions are met or prevent incompatible actions. Motor control circuits can latch contactors to keep motors running and use stop buttons to unlatch them.