>>411
↓は否定論理和で⇔は同値だな?|は何だ?