Find the word definition

WordNet
logical diagram

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