Click on Nodes
on
off
negation (b, f)
Model
E = b·f + D ⟺ E ⇐ [¬B ∧ ¬F] ∨ D C = B·F + A ⟺ C ⇐ [B ∧ F] ∨ A G = C + E ⟺ G ⇐ C ∨ E