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

08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking MenDelhi Call girls
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityPrincipled Technologies
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024Rafal Los
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsMaria Levchenko
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationMichael W. Hawkins
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?Igalia
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Servicegiselly40
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Drew Madelung
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024The Digital Insurer
 
What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?Antenna Manufacturer Coco
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)Gabriella Davis
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Scriptwesley chun
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...Martijn de Jong
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptxHampshireHUG
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...Neo4j
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Enterprise Knowledge
 
Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024The Digital Insurer
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsEnterprise Knowledge
 

Recently uploaded (20)

08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed texts
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Service
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
 
What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?What Are The Drone Anti-jamming Systems Technology?
What Are The Drone Anti-jamming Systems Technology?
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
 
Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 

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