A diagram consisting of joined squares, which is used to give a graphic representation of basic logic relations.