Meaning of logical diagram

(noun) a graphical representation of a program using formal logic