← Binary Logic Diagrams for Process Operations