There is an ISA standard, ISA-S5.2-1976 covering Binary Logic Diagrams for Process Operations. It has some examples.
I had to do these once to satisfy the arcane spec requirements of an idiot deskbound consulting engineer. They were an absolute total complete unequivocal waste of time.