「b↑=0かつa↑・b↑=0」
または
「b↑≠0かつa↑・b↑=0」
⇔
「a↑・b↑=0」