Logical AND
![]() | Resource type: this resource is a lesson. |
Welcome! This is a lesson in the Introductory Discrete Mathematics for Computer Science course here at Wikiversity.
Previous lesson: Using truth tables
Your first diadic operator!
I apologize for the name of this lesson. The true name of this operator, which is a diadic operator, is a conjunction. It is a bit dangerous to refer to a conjunction as an AND operator, because English words are far more vague than logic.
- A diadic operator takes 2 arguments, p and q. It returns a single truth value.
- The conjunction, represented by the symbol
, returns the value "true" if and only if both arguments are true.
: This is the conjunction or AND operator
- Let
represent the statement: It is raining.
- Let
- Let
represent the statement: I am hungry.
represents the conjunction of statements
and
: It is raining AND I am hungry.
- Let
- Let
represent the false statement: It is raining.
- Let
- Let
represent the true statement: I am hungry.
is false.
- Let
Truth table for conjunction statements
![]() |
![]() |
![]() |
---|---|---|
T | T | T |
T | F | F |
F | T | F |
F | F | F |
Next lesson
Your next lesson is called Logical OR.
This article is issued from Wikiversity - version of the Saturday, August 04, 2012. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.