Tuesday, 4 November 2014

#3 Conjunction and Disjunction

In this week's class, we've learned about two new quantifiers, conjunction \and \!\, and disjunction \or \!\,.


Conjunction and disjunction follow certain rules. Like commutative, associative and distributive laws.
Commutative law:A ∧ B \leftrightarrow \!\, B ∧ A   A ∨ B \leftrightarrow \!\, B ∨ A
De Morgan's Law:
\neg(P\land Q)\iff(\neg P)\lor(\neg Q)
\neg(P\lor Q)\iff(\neg P)\land(\neg Q)
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)