WordNet
logical diagram
n. a graphical representation of a program using formal logic [syn: logic diagram]