A Boolean Approach to Qualitative Comparison. A summary by Richard Warnes. Charles Ragin (1987) THE COMPARATIVE METHOD. Chapter 6

Similar documents
Binary Logic and Gates. Our objective is to learn how to design digital circuits.

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

Administrative Notes. Chapter 2 <9>

Advanced Boolean Logic and Applications to Control Systems

Lecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps

ECE 238L Boolean Algebra - Part I

Qualitative Comparative Analysis in Practice: Why, When, and How?

Total Time = 90 Minutes, Total Marks = 50. Total /50 /10 /18

Simplification of Boolean Functions. Dept. of CSE, IEM, Kolkata

Qualitative Comparative Analysis

Combinational Logic Fundamentals

3 Boolean Algebra 3.1 BOOLEAN ALGEBRA

Slide Set 3. for ENEL 353 Fall Steve Norman, PhD, PEng. Electrical & Computer Engineering Schulich School of Engineering University of Calgary

DIGITAL CIRCUIT LOGIC BOOLEAN ALGEBRA

Karnaugh Maps Objectives

CSE 140: Components and Design Techniques for Digital Systems

ENG2410 Digital Design Combinational Logic Circuits

Lecture 4: Four Input K-Maps

Midterm1 Review. Jan 24 Armita

1 Boolean Algebra Simplification

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Proving simple set properties...

CPE100: Digital Logic Design I

Computer Organization I. Lecture 13: Design of Combinational Logic Circuits

CHAPTER III BOOLEAN ALGEBRA

Ex: Boolean expression for majority function F = A'BC + AB'C + ABC ' + ABC.

Review. EECS Components and Design Techniques for Digital Systems. Lec 06 Minimizing Boolean Logic 9/ Review: Canonical Forms

Chapter 2 Combinational Logic Circuits

Part 1: Digital Logic and Gates. Analog vs. Digital waveforms. The digital advantage. In real life...

Logic and Boolean algebra

CHAPTER III BOOLEAN ALGEBRA

Introduction to Quantum Logic. Chris Heunen

Digital Logic (2) Boolean Algebra

This form sometimes used in logic circuit, example:

Slides for Lecture 10

KP/Worksheets: Propositional Logic, Boolean Algebra and Computer Hardware Page 1 of 8

Binary Logic and Gates

Boolean Algebra & Logic Gates. By : Ali Mustafa

Combinatorial Logic Design Principles

Chapter 2 : Boolean Algebra and Logic Gates

Introduction to Qualitative Comparative Analysis

Unit 3 Session - 9 Data-Processing Circuits

ELCT201: DIGITAL LOGIC DESIGN

Logic Gate Level. Part 2

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Combinational Logic Design Principles

Chapter 3: Section 3.1: Factors & Multiples of Whole Numbers

Supplementary Material for MTH 299 Online Edition

UC Berkeley College of Engineering, EECS Department CS61C: Representations of Combinational Logic Circuits

Unit 6. Quine-McClusky Method. Unit 6 1

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev

Logic, Sets, and Proofs

Chapter 7 Logic Circuits

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Unit 3 Factors & Products

Propositional Logic: Models and Proofs

Chapter 2 Combinational Logic Circuits

Let s now begin to formalize our analysis of sequential machines Powerful methods for designing machines for System control Pattern recognition Etc.

Propositional Calculus: Formula Simplification, Essential Laws, Normal Forms

Simplifying Logic Circuits with Karnaugh Maps

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

CHAPTER 5 KARNAUGH MAPS

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev. Section 2: Boolean Algebra & Logic Gates

Power Functions for. Process Behavior Charts

Building a Computer Adder

Boolean Algebra CHAPTER 15

Artificial Intelligence

Unit 2 Session - 6 Combinational Logic Circuits

Chapter 2 Combinational Logic Circuits

p, p or its negation is true, and the other false

COT 2104 Homework Assignment 1 (Answers)

CS61c: Representations of Combinational Logic Circuits

1 Completeness Theorem for First Order Logic

Boolean Algebra and Digital Logic 2009, University of Colombo School of Computing

Chapter 2: Boolean Algebra and Logic Gates

CISC-102 Fall 2018 Week 11

T02 Tutorial Slides for Week 6

Conjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows.

Lecture 3: Boolean Algebra

Doc112: Hardware. Department of Computing, Imperial College London. Doc112: Hardware Lecture 1 Slide 1

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

CISC-102 Winter 2016 Lecture 17

2.2: Logical Equivalence: The Laws of Logic

Boolean Algebra & Digital Logic

2. Associative Law: A binary operator * on a set S is said to be associated whenever (A*B)*C = A*(B*C) for all A,B,C S.

UNIT 5 KARNAUGH MAPS Spring 2011

Logic Simplification. Boolean Simplification Example. Applying Boolean Identities F = A B C + A B C + A BC + ABC. Karnaugh Maps 2/10/2009 COMP370 1

Introduction to Qualitative Comparative Analysis (QCA)

Computer Science Foundation Exam

Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as:

CHAPTER 7. Exercises 17/ / /2 2 0

The Integers. Peter J. Kahn

EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits)

Optimizations and Tradeoffs. Combinational Logic Optimization

CS 226: Digital Logic Design

Advanced Digital Design with the Verilog HDL, Second Edition Michael D. Ciletti Prentice Hall, Pearson Education, 2011

CSC Discrete Math I, Spring Propositional Logic

Number System conversions

Chapter 2. Boolean Algebra and Logic Gates

Transcription:

A Boolean Approach to Qualitative Comparison A summary by Richard Warnes Charles Ragin (1987) THE COMPARATIVE METHOD. Chapter 6 The key features of Boolean Algebra: 1. USE OF BINARY DATA "There are two conditions in Boolean Algebra: TRUE (or Present) and FALSE (or Absent). These two states are represented in base 2: 1 indicates presence; 0 indicates absence." Pg 86. 2. USE OF TRUTH TABLE TO REPRESENT DATA "In order to use Boolean Algebra as a technique of qualitative comparison, it is necessary to reconstruct a raw data matrix as a truth table". Pg 87 eg: X1 X2 X3 X4 (Conditions) OUTCOME NUMBER of INSTANCES 0 0 0 0 0 8 0 0 0 1 0 6 0 0 1 0 1 10 0 0 1 1 0 5 0 1 0 0 1 13 3. BOOLEAN ADDITION ('OR') "In Boolean Algebra, if A + B = Z, and A = 1 and B = 1, then Z = 1. In other words 1 + 1 = 1. The basic idea in Boolean Addition is that if any of the additive terms is satisfied (Present), then the outcome is true (Occurs)." Pg 89. Addition in Boolean Algebra is equivalent to the logical operator 'OR'...Thus the statement A + B = Z becomes:- If either A equals1 'OR' B equals 1, then Z equals 1. 1

4. BOOLEAN MULTIPLICATION ('AND') "Boolean Multiplication differs substantially from normal multiplication. Boolean Multiplication is relevant because the typical social science application of Boolean Algebra concerns the process of simplifying expressions known as 'SUMS OF PRODUCTS'. A product is a specific combination of causal conditions eg. F = Abc + abc + abc + ABc + AbC + abc + ABC 5. COMBINATORIAL LOGIC "The absence of a cause has the same logical status as the presence of a cause in Boolean Analysis...Boolean Multiplication indicates that presence and absence conditions are combined...that they intersect." Pg 92. 6. BOOLEAN MINIMIZATION "If two Boolean expressions differ in only one causal condition, yet produce the same outcome, then the causal condition that distinguishes the two expressions can be considered irrelevant and can be removed to create a simpler, combined expression." eg. Pg 93. If Abc = F and ABc = F Then this allows the replacement of these two terms with the single, simpler expression: Ac = F (ie. the value of B is irrelevant. Cause B may be either present or absent, F will still occur.) 7. IMPLICATION "A Boolean Expression is said to imply another if the membership of the second term is a subset of the membership of the first". Pg 95. eg. "A implies Abc because A embraces all the members of Abc (That is, Abc is a subset of A)...The membership of Abc is included in the membership of A. Thus A implies Abc." "The concept of implication, while obvious, provides an important tool for minimizing primitive sums-of-products expressions." Pg 95. 2

8. PRIME IMPLICANTS and PRIME IMPLICANTS CHARTS "The first step in the Boolean analysis of these data is to attempt to combine as many compatible rows of the truth table as possible (See 6. Boolean Minimization). Thus: S = AbC + abc + ABc + ABC (These are referred to as 'PRIMITIVE EXPRESSIONS') ABC combines with AbC to produce AC. ABC combines with ABc to produce AB. ABc combines with abc to produce Bc. Thus S = AC + AB + Bc (These equations, reduced to their lowest level are referred to as 'PRIME IMPLICANTS') "Product terms such as those in the preceding equation which are produced using this simple minimization rule - combine rows that differ on only one cause if they have the same output values - are called 'PRIME IMPLICANTS'. Usually each PRIME IMPLICANT covers (that is implies) several primitive expressions in the truth table. In the partially minimized equation given above, for example, prime implicant AC covers two primitive Boolean expressions listed in the truth table: ABC and AbC." Pg 96. "In order to determine which prime implicants are logically essential, a minimization device known as a 'PRIME IMPLICANT CHART' is used. Minimization of the prime implicant chart is an optional, second phase of Boolean Minimization. The goal of this second phase of the minimization process is to 'cover' as many of the primitive Boolean expressions as possible with a logically minimal number of Prime Implicants." Pg 97. eg: ABC AbC ABc abc AC X X AB X X Bc X X "Simple inspection indicates that the smallest number of Prime Implicants needed to cover all of the original primitive expressions is two...prime Implicants AC and Bc cover all four Boolean Primitive Expressions. Analysis of the Prime Implicant Chart, therefore, leads to the final reduced Boolean expression containing only the logically 'Essential Prime Implicants': Thus S = AC + Bc (These are the 'ESSENTIAL PRIME IMPLICANTS') 3

9. USE OF De MORGAN'S LAW "It is often useful to assess the combinations of conditions associated with the absence of an outcome. Rather than start from the very beginning...it is possible to apply De MORGAN's LAW to the solution already derived for positive outcomes to obtain the solution for negative outcomes." Pg 99. Thus if S = AC + Bc to find the negative outcomes:- (Two Rules) RULE 1: "Elements that are coded present in the reduced equation (Say A in the term AC) are recoded to absent, and elements that are coded absent (Say c in the term Bc) are recoded to present." RULE 2: "Next, logical AND (x) is recoded to logical OR (+), and logical OR (+) is recoded to logical AND (x)." Applying these two rules: S = AC + Bc becomes: S = (a + c) (b + C) which goes to: S = ab + ac + bc "De MORGAN's law thus provides a convenient shortcut for minimizing negative instances." Pg 99. 10. NECESSARY AND SUFFICIENT CAUSES NECESSARY: "A cause is defined as necessary if it must be present for a certain outcome to occur". SUFFICIENT: "A cause is defined as sufficient if by itself it can produce a certain outcome." Thus if: S = AC + Bc (No cause is either necessary or sufficient) S = AC + BC (C is necessary but not sufficient) S = AC (Both A and C are necessary but not sufficient) S = A + Bc (A is sufficient but not necessary) S = B (B is both necessary and sufficient) 4

11. FACTORING BOOLEAN EXPRESSIONS "Often it is useful to factor the results of Boolean analysis." Pg 100. eg. if: S = AB + AC + AD It can be factored to show that A is a NECESSARY CONDITION: S = A (B + C + D) or in a more complex equation if: S = abc + AbC + abd + E this can be shown as: S = a (bc + bd + E) + A (bc +E) 12. SUMMARY "The approach has a strong inductive element (which mimics case orientated research) because it proceeds from the bottom up, simplifying complexity in a methodical, stepwise manner. It starts with a bias toward complexity - every logically possible combination of values is examined - and simplifies this complexity through experiment like contrasts...finally, it is highly compatible with the vocabulary of necessary and sufficient causation, a feature that enhances its value for assessing the limits of social scientific generalizations." Pg 101. 5