SlideShare a Scribd company logo
1 of 28

Report in Computer Organization
and Assembly Language
By: Raquel Mulles

 A truth table is a device used to determine when a
compound statement is true or false.
Truth Tables

Formal Name Symbol Read Symbolic Form
Negation ~ “Not” ~p
Conjunction ∧ “And” p ∧ q
Disjunction ∨ “Or” p ∨ q
Conditional → “If p then q” p → q
Biconditional ↔ “If and only
if”
p ↔ q
Connectives used in truth
tables


 Negation - represents the opposite of the statement
A True T statement becomes False F and a False F becomes
True T.
Negation

p ~p
T F
F T
Truth table for negation

 Let p represent the statement 4 > 1, q represent the
statement 12 < 9, and r represent 0 < 1. Decide
whether each statement is true or false.
 a) ~p ∧ ~q
 b) (~p ∧ r) ∨ (~q ∧ p)
Example: Mathematical
Statements

Solution
a) False, since ~ p is false.
b) True

 Conjunction - both statements must be true
Two True T statements will result in a True T
-Any other combination will produce a False F.
Conjunction

Truth table for conjunction
p q p ∧ q
T T T
T F F
F T F
F F F

 Let p represent the statement 4 > 1, q represent the
statement 12 < 9 find the truth of p ∧ q.
Solution
False, since q is false.
Example: Finding the Truth
Value of a Conjunction

 Disjunction - If either/or both statements are true,
the entire statement is true . One True T will result in
a True T statement; two False F statements will result in
a False F.
Disjunction

p q p ∨ q
T T T
T F T
F T T
F F F
Truth table for disjunction

 Let p represent the statement 4 > 1, q represent the
statement 12 < 9 find the truth of p ∨ q.
Solution
True, since p is true.
Example: Finding the Truth
Value of a Disjunction

Conditional
 Conditional - only false if the second statement is
false and it follows a true statement. All other
combinations of True T and False F are True T.

p q p → q
T T T
T F F
F T T
F F T
Truth table for conditional

Example of conditional
statement
Example:
 Given:
p: I do my homework
q: I get my allowance
 Problem:
What does p → q
represent?

 Solution
 In Example 1, p represents, "I do my homework,"
and q represents "I get my allowance." The
statement p q is a conditional statement which
represents "If p, then q."

 Biconditional - true only if both statements are true
or both statements are false. All other combination of
the True T and False F are False F.
Biconditional

p q p ↔ q
T T T
T F F
F T F
F F T
Truth table for
biconditional

Example:
 Given:
p: x + 2 = 7
q: x = 5
 Problem:
Write p ↔ q as a sentence. Then determine its truth
values p ↔ q.
Example of a biconditional
statement

 Solution
 The biconditonal p ↔ q represents the sentence:
"x + 2 = 7 if and only if x = 5." When x = 5, both p
and q are true. When x 5, both p and q are false.
A biconditional statement is defined to be true
whenever both parts have the same truth value.

Equivalent Expressions
 Equivalent expressions
are symbolic
expressions that have
identical truth values
for each corresponding
entry in a truth table.
 Hence ~(~p) ≡ p.
 The symbol ≡ means
equivalent to.

Negation of the
Conditional
 Here we look at the
negation of the
conditional.
 Note that the 4th and 6th
columns are identical.
 Hence p ^ ~q is
equivalent to ~(p  q).

 The negation of the conjunction p ^ q is given by ~(p
^ q) ≡ ~p v ~q.
“Not p and q” is equivalent to “not p or not q.”
 The negation of the disjunction p v q is given by ~(p v
q) ≡ ~p ^ ~q.
“Not p or q” is equivalent to “not p and not q.”
De Morgan’s Laws

 For any statements p and q,
~(p ∨ q) ≡ ~p ^ ~q and
~(p ^ q) ≡ ~p ∨ ~q

 Find a negation of each statement by applying De
Morgan’s Law.
a) I made an A or I made a B.
b) She won’t try and he will succeed.
 Solution
a) I didn’t make an A and I didn’t make a B.
b) She will try or he won’t succeed.
Example: Applying De
Morgan’s Laws

Watch and listen

More Related Content

What's hot

Logic, contrapositive, converse, Discrete Mathematics, conjunction, negation
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negationLogic, contrapositive, converse, Discrete Mathematics, conjunction, negation
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negationZaidAly1
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proofAbdur Rehman
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2Ali Usman
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical LogicJoey Valdriz
 
Mathematical Logic Part 2
Mathematical Logic Part 2Mathematical Logic Part 2
Mathematical Logic Part 2blaircomp2003
 
Unit I discrete mathematics lecture notes
Unit I  discrete mathematics lecture notesUnit I  discrete mathematics lecture notes
Unit I discrete mathematics lecture notesGIRIM8
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logictommy34g
 
#3 formal methods – propositional logic
#3 formal methods – propositional logic#3 formal methods – propositional logic
#3 formal methods – propositional logicSharif Omar Salem
 
Inductive Reasoning
Inductive ReasoningInductive Reasoning
Inductive Reasoningarlan
 
Artificial Intelligence - Propositional Logic
Artificial Intelligence - Propositional LogicArtificial Intelligence - Propositional Logic
Artificial Intelligence - Propositional LogicSaravanan T.M
 
Report in math (conjunctions and disjunctions)
Report in math (conjunctions and disjunctions)Report in math (conjunctions and disjunctions)
Report in math (conjunctions and disjunctions)Omegaxis26
 
logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etcAbdur Rehman
 

What's hot (16)

Logic, contrapositive, converse, Discrete Mathematics, conjunction, negation
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negationLogic, contrapositive, converse, Discrete Mathematics, conjunction, negation
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negation
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proof
 
Discrete Structures lecture 2
 Discrete Structures lecture 2 Discrete Structures lecture 2
Discrete Structures lecture 2
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
The logic
The logicThe logic
The logic
 
Mathematical Logic Part 2
Mathematical Logic Part 2Mathematical Logic Part 2
Mathematical Logic Part 2
 
Unit I discrete mathematics lecture notes
Unit I  discrete mathematics lecture notesUnit I  discrete mathematics lecture notes
Unit I discrete mathematics lecture notes
 
Conjunction And Disjunction
 Conjunction And Disjunction Conjunction And Disjunction
Conjunction And Disjunction
 
Statements
StatementsStatements
Statements
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
 
#3 formal methods – propositional logic
#3 formal methods – propositional logic#3 formal methods – propositional logic
#3 formal methods – propositional logic
 
Inductive Reasoning
Inductive ReasoningInductive Reasoning
Inductive Reasoning
 
Artificial Intelligence - Propositional Logic
Artificial Intelligence - Propositional LogicArtificial Intelligence - Propositional Logic
Artificial Intelligence - Propositional Logic
 
Report in math (conjunctions and disjunctions)
Report in math (conjunctions and disjunctions)Report in math (conjunctions and disjunctions)
Report in math (conjunctions and disjunctions)
 
logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etc
 
Formal Logic - Lesson 1 - Introduction to Logic
Formal Logic - Lesson 1 - Introduction to LogicFormal Logic - Lesson 1 - Introduction to Logic
Formal Logic - Lesson 1 - Introduction to Logic
 

Similar to Computer Organization and Assembly Language

UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]DIwakar Rajput
 
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1taimoor iftikhar
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdfPradeeshSAI
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdfsmarwaneid
 
Propositional logic
Propositional logicPropositional logic
Propositional logicMamta Pandey
 
Propositional Logic.pdf
Propositional Logic.pdfPropositional Logic.pdf
Propositional Logic.pdfZLEMORHAN3
 
Basic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptBasic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptsamalaramesh4
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptxRavind8
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptxssuser92109d
 

Similar to Computer Organization and Assembly Language (20)

UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]
 
12_Truth_Tables.pptx
12_Truth_Tables.pptx12_Truth_Tables.pptx
12_Truth_Tables.pptx
 
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdf
 
Per3 logika&amp;pembuktian
Per3 logika&amp;pembuktianPer3 logika&amp;pembuktian
Per3 logika&amp;pembuktian
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
Slide subtopic 2
Slide subtopic 2Slide subtopic 2
Slide subtopic 2
 
Slide subtopic 2
Slide subtopic 2Slide subtopic 2
Slide subtopic 2
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdf
 
dm-logic.pdf
dm-logic.pdfdm-logic.pdf
dm-logic.pdf
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Propositional Logic.pdf
Propositional Logic.pdfPropositional Logic.pdf
Propositional Logic.pdf
 
Basic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptBasic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.ppt
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
 
dms.pptx
dms.pptxdms.pptx
dms.pptx
 

Recently uploaded

SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024Scott Keck-Warren
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsAndrey Dotsenko
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubKalema Edgar
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...shyamraj55
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024The Digital Insurer
 
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024BookNet Canada
 
Science&tech:THE INFORMATION AGE STS.pdf
Science&tech:THE INFORMATION AGE STS.pdfScience&tech:THE INFORMATION AGE STS.pdf
Science&tech:THE INFORMATION AGE STS.pdfjimielynbastida
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 3652toLead Limited
 
Benefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other FrameworksBenefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other FrameworksSoftradix Technologies
 
Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptxLBM Solutions
 
Connect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationConnect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationSlibray Presentation
 
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024BookNet Canada
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesSinan KOZAK
 
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphSIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphNeo4j
 

Recently uploaded (20)

SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
Vulnerability_Management_GRC_by Sohang Sengupta.pptx
Vulnerability_Management_GRC_by Sohang Sengupta.pptxVulnerability_Management_GRC_by Sohang Sengupta.pptx
Vulnerability_Management_GRC_by Sohang Sengupta.pptx
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding Club
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
 
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
 
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptxE-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
 
Science&tech:THE INFORMATION AGE STS.pdf
Science&tech:THE INFORMATION AGE STS.pdfScience&tech:THE INFORMATION AGE STS.pdf
Science&tech:THE INFORMATION AGE STS.pdf
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping Elbows
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
 
Benefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other FrameworksBenefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other Frameworks
 
Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptx
 
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort ServiceHot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
 
Connect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationConnect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck Presentation
 
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen Frames
 
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphSIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
 

Computer Organization and Assembly Language

  • 1.  Report in Computer Organization and Assembly Language By: Raquel Mulles
  • 2.   A truth table is a device used to determine when a compound statement is true or false. Truth Tables
  • 3.  Formal Name Symbol Read Symbolic Form Negation ~ “Not” ~p Conjunction ∧ “And” p ∧ q Disjunction ∨ “Or” p ∨ q Conditional → “If p then q” p → q Biconditional ↔ “If and only if” p ↔ q Connectives used in truth tables
  • 4.
  • 5.   Negation - represents the opposite of the statement A True T statement becomes False F and a False F becomes True T. Negation
  • 6.  p ~p T F F T Truth table for negation
  • 7.   Let p represent the statement 4 > 1, q represent the statement 12 < 9, and r represent 0 < 1. Decide whether each statement is true or false.  a) ~p ∧ ~q  b) (~p ∧ r) ∨ (~q ∧ p) Example: Mathematical Statements
  • 8.  Solution a) False, since ~ p is false. b) True
  • 9.   Conjunction - both statements must be true Two True T statements will result in a True T -Any other combination will produce a False F. Conjunction
  • 10.  Truth table for conjunction p q p ∧ q T T T T F F F T F F F F
  • 11.   Let p represent the statement 4 > 1, q represent the statement 12 < 9 find the truth of p ∧ q. Solution False, since q is false. Example: Finding the Truth Value of a Conjunction
  • 12.   Disjunction - If either/or both statements are true, the entire statement is true . One True T will result in a True T statement; two False F statements will result in a False F. Disjunction
  • 13.  p q p ∨ q T T T T F T F T T F F F Truth table for disjunction
  • 14.   Let p represent the statement 4 > 1, q represent the statement 12 < 9 find the truth of p ∨ q. Solution True, since p is true. Example: Finding the Truth Value of a Disjunction
  • 15.  Conditional  Conditional - only false if the second statement is false and it follows a true statement. All other combinations of True T and False F are True T.
  • 16.  p q p → q T T T T F F F T T F F T Truth table for conditional
  • 17.  Example of conditional statement Example:  Given: p: I do my homework q: I get my allowance  Problem: What does p → q represent?
  • 18.   Solution  In Example 1, p represents, "I do my homework," and q represents "I get my allowance." The statement p q is a conditional statement which represents "If p, then q."
  • 19.   Biconditional - true only if both statements are true or both statements are false. All other combination of the True T and False F are False F. Biconditional
  • 20.  p q p ↔ q T T T T F F F T F F F T Truth table for biconditional
  • 21.  Example:  Given: p: x + 2 = 7 q: x = 5  Problem: Write p ↔ q as a sentence. Then determine its truth values p ↔ q. Example of a biconditional statement
  • 22.   Solution  The biconditonal p ↔ q represents the sentence: "x + 2 = 7 if and only if x = 5." When x = 5, both p and q are true. When x 5, both p and q are false. A biconditional statement is defined to be true whenever both parts have the same truth value.
  • 23.  Equivalent Expressions  Equivalent expressions are symbolic expressions that have identical truth values for each corresponding entry in a truth table.  Hence ~(~p) ≡ p.  The symbol ≡ means equivalent to.
  • 24.  Negation of the Conditional  Here we look at the negation of the conditional.  Note that the 4th and 6th columns are identical.  Hence p ^ ~q is equivalent to ~(p  q).
  • 25.   The negation of the conjunction p ^ q is given by ~(p ^ q) ≡ ~p v ~q. “Not p and q” is equivalent to “not p or not q.”  The negation of the disjunction p v q is given by ~(p v q) ≡ ~p ^ ~q. “Not p or q” is equivalent to “not p and not q.” De Morgan’s Laws
  • 26.   For any statements p and q, ~(p ∨ q) ≡ ~p ^ ~q and ~(p ^ q) ≡ ~p ∨ ~q
  • 27.   Find a negation of each statement by applying De Morgan’s Law. a) I made an A or I made a B. b) She won’t try and he will succeed.  Solution a) I didn’t make an A and I didn’t make a B. b) She will try or he won’t succeed. Example: Applying De Morgan’s Laws