Solve the formula so that Y = 1.
The logical operators used are:
¬ negation (NOT)
∧ conjunction (AND)
v inclusive disjunction (OR)
⊕ exclusive disjunction (XOR)
Y = ¬0 ∧ ¬(¬(¬(A v B) ∧ (¬C ∧ D))) ∧ ¬(E v ¬F) ∧ (0 ⊕ 1) ∧ G
Solution := ABCDEFG