W = ¬(Y → M)

P = ¬(I ↓ B)

C = ¬J ← U

H = ¬(G ∨ P)

L = N ∨ H

O = B → ¬D

I = ¬O ⊻ M

S = L ∧ ¬Y

B = ¬W → S

T = U ∧ B

Q = ¬N ↔ V

U = B | ¬N

J = ¬(Y ↔ S)

F = ¬(R ↔ E)

R = V | W

K = O ∧ D

X = J ∨ ¬G

A = R ⊻ ¬C

N = T ⊻ K

D = Y ∧ R

G = ¬Q ∨ D

V = ¬W → Y

E = Y → U

M = ¬(A ↔ C)

Y = L ∧ ¬W

Z = ¬(J | L)