^ : 合取联结词。p^q，命题p,q同时为真
: 析取联结词。 p
q，命题p,q至少有一个为真
→：蕴含联结词。p→q，"如果p，则q","只有q,才p"。q是p的必要条件
↔：等价联结词。p↔q，"p↔q为真当且仅当p与q同时为为真或为假"。q和p互为充要条件。（重言式）
注：这个联结词要与 <=> 区分开，<=>不是联结词，它用来说明p,q等值，如两者真值表相等，则可用这个符号
利用真值表进行运算
原文：http://www.cnblogs.com/ssooking/p/5873325.html