Javascript equivalents in quotes
for comparison
A ∧ B = a && b
A ∨ B = a || b
¬A = !a
A ⊕ B = (A ∨ B) ∧ ¬(A ∧ B) = (a || b) && !(a && b)
A | B = ¬(A ∧ B) = !(a && b)
A ↓ B = ¬(A ∨ B) = !(a || b)
A → B = (¬A) ∨ B = (!a) || b
A ↔ B = (A → B) ∧ (B → A) = ((!a) || b) && ((!b) || a)