[Taken from here]

I have just released pif_LogicalOperations 1.00. It's simply fourteen preprocessors I wrote up when I was reading over logical operations at work today, and I figured I'd document it (describe each operation and give it a truth table) and release it as a library. Might be useful to someone.

The following are the operations:

• Negation [Logical Not]
  
• Logical Conjunction [Logical And]
  
• Logical Disjunction [Logical Or]
  
• Material Implication
  
• Biconditional [Exclusive Not Or]
  
• Exclusive Disjunction [Exclusive Or]
  
• Joint Denial [Not Or]
  
• Alternative Denail [Not And]
  
• Material Nonimplication
  
• Converse Nonimplication
  
• Converse Implication
  
• Tautology
  
• Contradiction
  
• Proposition
  
  If you have any questions, comments, or problems, just reply here or on the forums.