This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Keywords from Image Description:
Implication graph.svg An implication graph Own David Eppstein This graph is formed from the satisfiability instance scriptstyle xlor land xlorlnot land xlorlnot land xlorlnot land xlorlnot land atopscriptstylequad xlor lnot land xlorlnot land xlorlnot land xlor land xlor land xlor scriptstyle xlorlnot equiv lnot xRightarrowlnot