Truth Tables or F to each propositional variable. Computer - PowerPoint PPT Presentation

Sep 11, 2022 •152 likes •211 views

Truth Assignments A truth assignment assigns a value T Truth Tables or F to each propositional variable. Computer scientists call assignment Equivalence of values to variables an environment. If we know the environment, we can find the value

Truth Assignments A truth assignment assigns a value T Truth Tables or F to each propositional variable. Computer scientists call assignment Equivalence of values to variables an environment. If we know the environment, we can find the value of a propositional Validity formula. February 14, 2014 truth-tables.1 February 14, 2014 truth-tables.2 Albert R Meyer Albert R Meyer Equivalence Evaluation in an Environment Example: Suppose environment, v, assigns Two propositional formulas are v(P) = T, v(Q)= T, v(R) = F. equivalent Truth value of ( NOT (P AND Q) ) OR (R XOR NOT (Q)) iff they have the same truth F T T T F T F F value in all environments. F truth-tables.3 truth-tables.4 February 14, 2014 February 14, 2014 Albert R Meyer Albert R Meyer 1
DeMorgan’s Law DeMorgan’s Law Q equiv to P AND Q P OR Q equiv to P Q P OR AND P Q P AND Q AND (P OR Q) NOT (P OR Q) P Q NOT P Q F F F F F F F F F T T F T T T F F T F F F T F F T F F T F F T T F F F F T F F F T F T F F F T F F F T F F F T F T T F F T T T T F F T T T T T T T F T F Same final column, so equivalent -- proof by Truth Table February 14, 2014 truth-tables.5 February 14, 2014 truth-tables.6 Albert R Meyer Albert R Meyer Definition of IFF Satisfiability & Validity The value of (P IFF Q) is T iff P and Q have the same truth value. A formula is satisfiable iff it Truth Table for IFF is true in some environment. P Q P IFF Q P Q P IFF Q T T T T T T A formula is valid iff it is T F F T F F true in all environments. F T F F T F F F T F F T truth-tables.7 truth-tables.8 February 14, 2014 February 14, 2014 Albert R Meyer Albert R Meyer 2
Satisfiability & Validity Equivalence & Validity G and H are equivalent satisfiable: P, NOT (P) exactly when (P AND NOT (P)) not satisfiable: valid: (P OR NOT (P)) (G IFF H) is valid February 14, 2014 truth-tables.10 February 14, 2014 truth-tables.11 Albert R Meyer Albert R Meyer Verifying Valid, Satisfiable Efficient Test for Satisfiability? Truth table size doubles with The P = NP? question is equivalent each additional variable to asking if there is an “efficient” --exponential growth. Makes (polynomial rather than truth tables impossible when exponential time) procedure there are hundreds of variables. to check satisfiability. (In current digital circuits, there are millions of variables.) truth-tables.12 truth-tables.13 February 14, 2014 February 14, 2014 Albert R Meyer Albert R Meyer 3
SAT versus VALID To check that G is valid, can check that NOT (G) is not satisfiable. So checking for one is equally difficult (or easy) as checking for the other. February 14, 2014 truth-tables.14 Albert R Meyer 4
MIT OpenCourseWare http://ocw.mit.edu 6.042J / 18.062J Mathematics for Computer Science Spring 20 15 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

Recommend

10/13/15 Nega%on Truth Table A A Propositional Logic and Truth Tables 0 1

10/13/15 Nega%on Truth Table A A Propositional Logic and Truth Tables 0 1 (Rosen, Sections 1.1, 1.2, 1.3) 1 0 TOPICS Propositional Logic Logical Operations Logical Equivalences CS160 - Fall Semester 2015 Truth

230 views • 4 slides

lecture 3 Combinational logic 1 - truth tables - Boolean algebra - sum of products and

lecture 3 Combinational logic 1 - truth tables - Boolean algebra - sum of products and product-of-sums - logic gates January 18, 2016 Quiz 1 Class should start after ~15 min. Truth Tables There are 2^4 = 16 possible boolean functions.

313 views • 27 slides

lecture 3 Combinational logic 1 Quiz 1 - truth tables - Boolean algebra Class should start

lecture 3 Combinational logic 1 Quiz 1 - truth tables - Boolean algebra Class should start after ~15 min. - sum of products and product-of-sums - logic gates January 18, 2016 Truth Tables There are 2^4 = 16 possible boolean functions.

805 views • 3 slides

SYMBOLIC LOGIC UNIT 5: TRUTH TABLES FOR TESTING VALIDITY SYMBOLIC LOGIC UNIT 6: FURTHER

SYMBOLIC LOGIC UNIT 5: TRUTH TABLES FOR TESTING VALIDITY SYMBOLIC LOGIC UNIT 6: FURTHER APPLICATIONS OF THE TRUTH TABLE METHOD 4 Truth Table Skills: Testing whether an argument form is valid . (Equivalently: testing whether one or

321 views • 12 slides

Digital Circuits and Systems Universality, Rearranging Truth Tables Shankar Balachandran*

Spring 2015 Week 2 Module 7 Digital Circuits and Systems Universality, Rearranging Truth Tables Shankar Balachandran* Associate Professor, CSE Department Indian Institute of Technology Madras *Currently a Visiting Professor at IIT Bombay

484 views • 14 slides

Logic? Propositional Logic, Truth Tables (Rosen, Sections 1.1, 1.2, 1.3) TOPICS

Logic? Propositional Logic, Truth Tables (Rosen, Sections 1.1, 1.2, 1.3) TOPICS Propositional Logic Logical Operations Equivalences CS 160, Summer Semester 2016 2 Why logic? To reason about programs, What is logic? e.g. Are

424 views • 9 slides

Logical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning

Logical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning Raffaella Bernardi Universit` a degli Studi di Trento e-mail: bernardi@disi.unitn.it Contents First Last Prev Next Contents 1 What we have

665 views • 23 slides

Informatics 1 Computation and Logic Sets of States: Venn Diagrams and Truth Tables Michael

Informatics 1 Computation and Logic Sets of States: Venn Diagrams and Truth Tables Michael Fourman @mp4man 1 This course provides a first glimpse of the deep connections between computation and logic. We will focus primarily on the simplest

347 views • 21 slides

Revision on propositional logic: Propositions. Logical Connectives. Truth values and truth

Revision on propositional logic: Propositions. Logical Connectives. Truth values and truth tables. Propositional formulae. Tautologies. Logical equivalence. Logical consequence. Logical correctness of propositional arguments. Valentin Goranko

600 views • 20 slides

Mathematical Logic - 2015 Propositional Logic: exercises Fausto Giunchiglia and Mattia Fumagalli

Mathematical Logic - 2015 Propositional Logic: exercises Fausto Giunchiglia and Mattia Fumagalli (ref. Chiara Ghidini slides PL Formalization and Enzo Maltese sleides PL Exercises) Truth Tables Example (2) Use the truth tables method

277 views • 12 slides

CPSC 121: Models of Computation Use truth tables to establish or refute the validity of a rule

Pre-Class Learning Goals By the start of this class you should be able to CPSC 121: Models of Computation Use truth tables to establish or refute the validity of a rule of inference. Given a rule of inference and propositional logic

513 views • 8 slides

Recall multiplexor (selector) lecture 4 Last lecture: truth tables, logic gates &

Recall multiplexor (selector) lecture 4 Last lecture: truth tables, logic gates & circuits Combinational logic 2 - ROM - arithmetic circuits if S Y = B - arithmetic logic unit (ALU) else Y = A January 20, 2016 We will

477 views • 4 slides

Truth Tellers, Liars, and Propositional Logic Reading: EC 1.3 Peter J. Haas INFO 150 Fall

Truth Tellers, Liars, and Propositional Logic Reading: EC 1.3 Peter J. Haas INFO 150 Fall Semester 2019 Lecture 2 1/ 16 Truth Tellers, Liars, and Propositional Logic Smullyans Island Propositional Logic Truth Tables for Formal

344 views • 18 slides

TIMES TABLES HOW WE TEACH TIMES TABLES AND HOW YOU CAN HELP WHY ARE TIMES TABLES IMPORTANT?

TIMES TABLES HOW WE TEACH TIMES TABLES AND HOW YOU CAN HELP WHY ARE TIMES TABLES IMPORTANT? New from 2019: all children in year 4 will sit an online times table test. Times Tables knowledge and recall underpin so many different areas of

526 views • 25 slides

Circuits and Gates 15-110 Wednesday 09/16 Learning Goals Translate Boolean expressions to

Circuits and Gates 15-110 Wednesday 09/16 Learning Goals Translate Boolean expressions to truth tables and circuits Translate circuits to truth tables and Boolean expressions Recognize how addition is done at the circuit level

441 views • 33 slides

Another example of truth table Logic function: 3 inputs : A, B, C 3 outputs : D, E, F

Another example of truth table Logic function: 3 inputs : A, B, C 3 outputs : D, E, F D = T if at least 1 input is T E = T if 2 inputs are T F = T if 3 inputs are T Truth tables Completely describe any function

116 views • 10 slides

Truth, T Truth-values, and the l like Fabien Schang National Research University Higher

Truth, T Truth-values, and the l like Fabien Schang National Research University Higher School of Economics Moscow (Russia) schang.fabien@voila.fr Content 1. Truth 2. Truth-values 3. The like 1. Truth A basic difference, in philosophy,

1.77k views • 163 slides

SYMBOLIC LOGIC UNIT 3: COMPUTING TRUTH VALUES Truth Values The truth value of a

SYMBOLIC LOGIC UNIT 3: COMPUTING TRUTH VALUES Truth Values The truth value of a formula/sentence is always (at least in this class) either true (T) or false (F). Notes: Truth values has nothing to do with how valuable a sentence is.

727 views • 47 slides

NZ Data Tables Data tables sit alongside the Active NZ main report The data tables provide

Reading the Active NZ Data Tables Data tables sit alongside the Active NZ main report The data tables provide results included in the report split by a range of population sub-groups The data tables are separated into different sheets based

351 views • 20 slides

Truth Revisited: What is Truth? Truth is Important. Pilate therefore said to Jesus: Art

Truth Revisited: What is Truth? Truth is Important. Pilate therefore said to Jesus: Art thou a king then? Jesus answered: Thou sayest that I am a king. For this was I born, and for this came I into the world; that I should give

939 views • 66 slides

The Top Ten Errors (and Misconceptions) in LED Photometry LED Specifications: the Truth, the

The Top Ten Errors (and Misconceptions) in LED Photometry LED Specifications: the Truth, the Whole Truth and Nothing but the Truth Robert Yeo, Pro-Lite Technology Dr Gareth John, Photometric & Optical Testing Services Lighting Fixture

429 views • 27 slides

Analytic Component Tackling tables Analytic component Tasks and techniques Keys and values Age

Focus on Tables Exercise: Sketch 2 ways to visualize each table Information Visualization Dataset Types Spatial Net Tables Tables Networks Fields (Continuous) Geometry (Spatial) Attributes (columns) Furthest BPM T1 BPM T2 BPM T3 Age

214 views • 4 slides

Sojourner Truth By Heath Colbert Lourie & Penelope Blatman Who Is Sojourner Truth Sojourner

Sojourner Truth By Heath Colbert Lourie & Penelope Blatman Who Is Sojourner Truth Sojourner Truth was born in Ulster County, New York in 1797 with the name her owner gave her, Isabella Baumfree. At age 9 she was sold to John Neely for $100

225 views • 5 slides

INF5110 Compiler Construction Symbol tables Spring 2016 1 / 43 Outline 1. Symbol tables

INF5110 Compiler Construction Symbol tables Spring 2016 1 / 43 Outline 1. Symbol tables Introduction Symbol table design an interface Implementing symbol tables Block-structure, scoping, binding, name-space organization Symbol tables

1.09k views • 41 slides