これって、英語の方がわかりやすいっすよね

￢　　not
∨ or
∧ and
⊃ then みたいな解釈。。