∀x (Electroencephalogram(x) → Uses(x, electrode))
∀x (Electroencephalogram(x) ⊕ FMRI(x)) 
∀x (FMRI(x) → (¬Measures(x, voltageChange)))
¬(Electroencephalogram(nearInfraredSpectroscopy) ∧ Magnetoencephalography(nearInfraredSpectroscopy))
(Electroencephalogram(nearInfraredSpectroscopy) ⊕ Magnetoencephalography(nearInfraredSpectroscopy)) → (Measures(nearInfraredSpectroscopy, voltageChange) ∧ Magnetoencephalography(nearInfraredSpectroscopy))
(Electroencephalogram(nearInfraredSpectroscopy) ∨ Magnetoencephalography(nearInfraredSpectroscopy)) → (Measures(nearInfraredSpectroscopy, voltageChange) ∧ Uses(nearInfraredSpectroscopy, electrode))