∧：且.形式p∧q,当p,q同时为真是时,p∧q真,否则假.
∨：或.形式p∨q,当p,q至少有一个为真是时,p∨q真,当p,q都假时,p∨q假.
┐：非.形式┐p,当p真时,┐p假,当p假时,┐p真.