! 否定
& 合取
| 析取
^ 蕴含
~ 双条件