Say that a graph is saturated, if its complement contains no triangles and no
isolated vertices. Show that for every saturated graph G D .V; E/, its quadratic
function fG.x/ D W
uv2E xuxv is the unique(!) monotone boolean function representing the graph G.