Biconditional - 2 CS-708.

Slides:



Advertisements
Similar presentations
Geometry Chapter 2 Terms.
Advertisements

Basic Logic Gate Sayed Mahbub Hasan Amiri Dhaka Residential Model College.
Logic 2 The conditional and biconditional
Exercise Exercise3.1 8 Exercise3.1 9 Exercise
Exercise Exercise Exercise Exercise
Exercise Exercise Exercise Exercise
1 Inference Rules and Proofs Z: Inference Rules and Proofs.
1 Inference Rules and Proofs Z: Inference Rules and Proofs.
Exercise Exercise6.1 7 Exercise6.1 8 Exercise6.1 9.
Chapter 9: Boolean Algebra
Logic Gates.
Conditional Statements
1 times table 2 times table 3 times table 4 times table 5 times table
CS 1502 Formal Methods in Computer Science
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.3, Slide Logic The Study of What’s True or False or Somewhere in Between.
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.3, Slide Logic The Study of What’s True or False or Somewhere in Between.
1.4 Truth Tables. Compound Statement Conditional Statement(s) Biconditional Statement(s) Conjunction ( and ) Disjunction ( or )
Multiplexers. Functional Description and Symbols.
Thinking Mathematically Logic 3.6 Negations of Conditional Statements and De Morgan’s Laws.
Combination of logic gates  Logic gates can be combined to produce more complex functions.  They can also be combined to substitute one type of gate.
Section 2-2: Conditional Statements. Conditional A statement that can be written in If-then form symbol: If p —>, then q.
Thinking Mathematically
IB Computer Science – Logic
Boolean Values The true story ;=P. Expressions.
Boolean Values The true story ;=P Thanks to Margaret Reid-Miller for her original ideas at Carnegie Mellon’s CSE.
What is a Biconditional Students will be able to: 1.Rewrite compound sentences in conditional form 2.Find the biconditional of a conditional 3.Tell when/why.
$100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300.
Circuits & Boolean Expressions. A ABC BC ABC C B A Example # 1: Boolean Expression: Develop a Boolean expression from a circuit.
Tables Learning Support
Discrete Mathematics Lecture # 7. Bi conditional  If p and q are statement variables, the bi conditional of p and q is  “ p if, and only if, q ” and.
Thinking Mathematically Logic 3.4 Truth Tables for the Conditional and Biconditional.
Dr. ClincyLecture Slide 1 CS Chapter 3 (3A and ) Part 2 of 8 Dr. Clincy Professor of CS.
CS-7081 Application - 1. CS-7082 Example - 2 CS-7083 Simplifying a Statement – 3.
Chapter 1 – Part 3 ELEMENTARY LOGIC
Logic Gates Practical Objective: to develop an understanding of logic circuits and truth tables.
AND.
Chapter 1 – Logic and Proof
Circuits & Boolean Expressions
Times Tables.
Conditional Statements
Dr. Clincy Professor of CS
Dr. Clincy Professor of CS
Dr. Clincy Professor of CS
What is the value of -(A>-B) for each of the ways A and B
CS 220: Discrete Structures and their Applications
Discrete Mathematics Lecture 2: Propositional Logic
Logic Gates Truth Table Challenge
Discrete Mathematics Lecture 1: Introduction
Truth tables Construct a truth table for the following statements:
Logic Gates Revision Package.
Discrete Mathematics Lecture 2: Propositional Logic
Dr. Clincy Professor of CS
Statements of Symbolic Logic
Discrete Mathematics Lecture 1: Introduction
CHAPTER 3 Logic.
Section 3.3 Truth Tables for the Conditional and Biconditional
Dr. Clincy Professor of CS
Truth Tables for the Conditional and Biconditional
PRIZE SHOW Advanced Geometry Unit 2 Intro to Logic & Proofs.
Logic and Reasoning.
Basic Logic Operations
3 times tables.
6 times tables.
Conditional Statements Section 2.3 GEOMETRY
Eng. Ahmed M Bader El-Din October, 2018
2-2 Logic Part 2 Truth Tables.
Circuits & Boolean Expressions
Precedence tables and activity networks
Truth Tables for Conditional and Biconditional Statements
SYEN 3330 Digital Systems Chapter 2 – Part 1 SYEN 3330 Digital Systems.
Presentation transcript:

Biconditional - 2 CS-708

Truth Table for p <--> - 3 CS-708

Examples – 4a CS-708

Examples – 4b CS-708

p q = (p q) (q p) – 5a v CS-708

p q = (p q) (q p) – 5b v CS-708

p q = (p q) (q p) – 5c v – 5c CS-708

p q = (p q) (q p) – 5 v CS-708

Rephrasing Biconditional - 6 CS-708

Examples – 9 CS-708

Examples – 9a CS-708

Examples – 9b CS-708

Examples – 9c CS-708

Truth table for (p q) (~q ~p) – 7a CS-708

Truth table for (p q) (~q ~p) – 7b CS-708

Truth table for (p q) (~q ~p) – 7c CS-708

Truth table for (p q) (~q ~p) – 7 CS-708

(p q) (r q) – 8 CS-708

(p q) (r q) – 8b CS-708

(p q) (r q) – 8c CS-708

(p q) (r q) – 8d CS-708

(p q) (r q) – 8 CS-708

p ~ r q v r – 10 v CS-708

p ~ r q v r – 10b v CS-708

p ~ r q v r – 10c v CS-708

p ~ r q v r – 10d v CS-708

p ~ r q v r – 10e v CS-708

Show that ~p q ≡ p ~q – 11a CS-708

Show that ~p q ≡ p ~q – 11b CS-708

Show that ~p q ≡ p ~q – 11 CS-708

Show that ~p q ≡ p ~q – 11c CS-708

Show that ~(p + q) ≡ p q – 12b CS-708

Show That - 1(4 - 2c) CS-708

Show that ~(p + q) ≡ p q – 12d CS-708

Show that ~(p + q) ≡ p q – 12 CS-708

Laws of Logic – 14 CS-708

Laws of Logic - 14a CS-708

Application – 15 CS-708

Application – 15b CS-708

Exercise - 17 CS-708

Exercise – 17a CS-708

Exercise – 17b CS-708