These operations are also referred to as “and,” “or,” “not,” Chapter 1 Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. However, as you can see from the truth table above, doing your homework does not guarantee that you will get an allowance! These operations are the conjunction, disjunction, negation, conditional, and bi-conditional. Chapter 1 Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. Found inside – Page 199The logic is not truth - functional , but if the value 1 only is designated then the truth tables for the operations of negation , conjunction and disjunction are those of the classical propositional calculus ( PC ) . Conversely , the axioms that define ... It can also be used to compare two different expressions by showing them side-by-side in the same table. The truth table for the disjunction says that a disjunction is true as long as at least one of its disjuncts is true. Conjunction Now we introduce a binary operator:conjunction ^ , which corresponds toand: p ^ q is trueif and only if p and q are both true. In this challenging and provocative analysis, Dale Jacquette argues that contemporary philosophy labours under a number of historically inherited delusions about the nature of logic and the philosophical significance of certain formal ... Truth tables are more useful in describing the possible truth values for various compound propositions. A disjunction is a kind of compound statement that is composed of two simple statements formed by joining the statements with the OR operator. Otherwise it is false. You can enter multiple formulas separated by commas to include more than one formula in a single table (e.g. This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book does not presuppose any previous knowledge and can be used also for self-study by more ambitious students. In general, the truth table for a compound proposition involving k basic propositions has 2 k cells, each of which can contain T or F, so there are 2 2 k possible truth tables for compound propositions that combine k basic propositions. Note: This is the 3rd edition. All variants of the input data and their parameters are listed on the left; the output is usually placed in the last column on the right. These operations are the conjunction, disjunction, negation, conditional, and bi-conditional. To find truth tables for logic gates, simply use expression with respective operators. Abstract: The logical operations of conjunction, negation, and disjunction (alteration) are discussed with respect to their truth-table definitions. Another important goal of this text is to provide students with material that will be needed for their further study of mathematics. if both of the conjuncts are true. Consider the symbolic statement p ∨ ~q. The truth table above lists the truth values of p q. Found insideP ↔ Q → R. § 1.6 Truth Tables and Tautologies. Our truth-functional rules of usage for negation, conjunction, disjunction, implication and equivalence may ... Found inside – Page 158meaningful conjunctions or disjunctions can be formed of such sentences. ... the classical truth tables do not accurately reflect the logic of conjunction, ... Here is the truth table for the disjunction. Above, the original truth values for the statements F and S are in black, and the truth values for the disjunction and the conjunction are in green. Conjunction Truth Table The conjunction is true only when both p and q are true. Found inside – Page 307The truth tables shown in Table 15 .1 determine a truth function for each logic connective. For conjunction, disjunction and implication this truth function ... ... called the disjunction of the originals. From signed numbers to story problems — calculate equations with ease Practice is the key to improving your algebra skills, and that's what this workbook is all about. Example: Alice is tall AND slim. make conjunction true, viz. But positing truth-makers for atomic truths doesn’t obviate the need—supposing maximalism—to posit additional truth-makers for negative and universal truths. BYJU’S online boolean algebra calculator tool makes the conversion faster and it displays the output in a fraction of seconds. Note that the disjunction is only false on the fourth line, since disjunctions are only ever false when BOTH of their disjuncts are false. Recommends six extensions to the ISO standard which will increase the business value of bitemporal data Points towards a tritemporal future for bitemporal data, in which an Aristotelian ontology and a speech-act semantics support the direct ... Second of two volumes providing a comprehensive guide to the current state of mathematical logic. 2. The truth or falsehood of a proposition is called its truth value. A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. The following are some of the changes and enhancements from the original: These operations are also referred to as “and,” “or,” “not,” This practice book is a three-part series that covers the 1st topic in Discrete Mathematics---logic.50+ Exercises Focused On:1. Mathematics normally uses a two-valued logic: every statement is either true or false. The following are some of the changes and enhancements from the original: The tree rule for disjunction, above, is branching: it shows that there is more than one way to make disjunction true. So, the disjunction is only false on the bottom line. (Note: Throughout our lessons on symbolic logic, we will always construct truth tables with the first two columns listed exactly as above. propositions, then the conjunction of p and q is written p ^q and will be true iff both p and q are true. propositions, then the conjunction of p and q is written p ^q and will be true iff both p and q are true. The truth table shows the result of the logical expression, each involved variable has a separate column, and the corresponding result has a column. Remember that disjunctions are true when at least one disjunct is true, and false otherwise. Truth Tables. Truth tables often makes it easier to understand the Boolean expressions and can be of great help when simplifying expressions. A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables. truth-table-generator. BYJU’S online boolean algebra calculator tool makes the conversion faster and it displays the output in a fraction of seconds. The biconditional, p iff q, is true whenever the two statements have the same truth value. Boolean Algebra Calculator is a free online tool that displays the truth table, logic circuit and Venn diagram for the given input. Found insideThe book also allows students to transition smoothly to more advanced topics in logic by teaching them general techniques that apply to more complicated scenarios, such as how to formulate theories about specific subject matter. It is a fork of truths by tr3buchet.. make conjunction true, viz. You use truth tables to determine how the truth or falsity of a complicated statement depends on the truth or falsity of its components. A statement is a declarative sentence which has one and only one of the two possible values called truth values. to test for entailment). I intend to cover only the three basic logical operators, namely: negation, conjunction, and disjunction.This part of the lesson will give you a preview how a truth table may look. Prepositional Truth Tables Logic: Thus, every row under the “S v D” column should be true, except for the last row since on the last row both D and S are false (whereas in the first three rows at least one or the other is true). Truth tables often makes it easier to understand the Boolean expressions and can be of great help when simplifying expressions. Example: Alice is tall AND slim. The pain-free way to ace Algebra I Does the word polynomial make your hair stand on end? Let this friendly guide show you the easy way to tackle algebra. Continue reviewing discrete math topics. So, the disjunction is only false on the bottom line. Designed for a first, college-level course in Symbolic Logic, in class or online. Covers Sentential Logic, Natural Deduction, Truth Trees, Predicate Logic and Quantifier Logic. Truth Table Generator This page contains a JavaScript program which will generate a truth table given a well-formed formula of truth-functional logic. Found inside – Page 79In disjunction ( p v q ) , each individual statement is referred to as a disjunct . & CONSTRUCTING TRUTH TABLES TO DEFINE TRUTH - FUNCTIONAL CONNECTIVES ... Connectives are used for making compound propositions. It is a fork of truths by tr3buchet.. The variables and operators are provided on the main interface. 2. The truth table above lists the truth values of p q. So, we can use truth tables to determine Solution: In Example 1, the sentence, "I do my homework" is the hypothesis and the sentence, "I get my allowance" is the conclusion. Rules of truth tables Conjunction, disjunction, and implication Statement negation The construction of truth tables; Practice Exams. THE CONJUNCTION AND THE DISJUNCTION THE CONJUNCTION If p, q are statements, their conjunction is the statement "p and q." This becomes apparent in the case of negative truths when we compare the truth-tables for conjunction and disjunction with the truth-table for negation. Note that the disjunction is only false on the fourth line, since disjunctions are only ever false when BOTH of their disjuncts are false. ... called the disjunction of the originals. Solution: In Example 1, the sentence, "I do my homework" is the hypothesis and the sentence, "I get my allowance" is the conclusion. Final Exam ... (conjunction) The and operator is a binary operator that results in true if both operands are true. III. Truth Functionality: In order to know the truth value of the proposition which results from applying an operator to propositions, all that need be known is the definition of the operator and the truth value of the propositions used. Previous: Truth tables for “not”, “and”, “or” (negation, conjunction, disjunction) Next: Analyzing compound propositions with truth tables Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. •Concise and systematic exposition, with semi-formal but ... ; Conjunction is a truth-functional connective similar to "and" in English and is represented in symbolic logic with the dot " ". The truth table shows the result of the logical expression, each involved variable has a separate column, and the corresponding result has a column. Continue reviewing discrete math topics. However, as you can see from the truth table above, doing your homework does not guarantee that you will get an allowance! Of those, there are 2 2 k C t truth tables that have T in t of the cells and F in the rest. Found insideElementary Logic explains what logic is, how it is done, and why it can be exciting. The book covers the central part of logic that all students have to learn: propositional logic. Found inside – Page 123Each of these truth tables is shown below for review purposes. Negation Conjunction Disjunction p p T F F T p q p q T T T T F F F T F F F F p q p q ... This volume is ideal as an introduction to formal logic, philosophical logic, and philosophy of language. At each stage of system elaboration and development, the book answers meta-logical questions. Why is a particular formalism needed? That means “one or the other” or both. This book introduces the basic inferential patterns of formal logic as they are embedded in everyday life, information technology, and science. even a sentence). Truth tables – negation, conjunction, disjunction (“not”, “and”, “or”) Truth tables are a way of analyzing how the validity of statements (called propositions) behave when you use a logical “or”, or a logical “and” to combine them. Rules of truth tables Conjunction, disjunction, and implication Statement negation The construction of truth tables; Practice Exams. Finite Math For Dummies tracks to a typical college-level course designed for business, computer science, accounting, and other non-math majors, and is the perfect supplement to help you score high! In a disjunction statement, the use of OR is inclusive. The tree rule for disjunction, above, is branching: it shows that there is more than one way to make disjunction true. The complete tree rules follow. The branches represent the three rows of the truth table for disjunction in which it’s true. Above, the original truth values for the statements F and S are in black, and the truth values for the disjunction and the conjunction are in green. It merges some of the pull requests in the original and other external helpers. III. All variants of the input data and their parameters are listed on the left; the output is usually placed in the last column on the right. As operators, you can add conjunction (AND), disjunction (OR), negation (NOT), left par and right par (p arentheses), implications, and equality. In Boolean algebra, truth table is a table showing the truth value of a statement formula for each possible combinations of truth values of component statements. A substantial number of practice questions are offered both within the book itself and as interactive activities on a companion website. The Logic of Our Language teaches the practical and everyday application of formal logic. You use truth tables to determine how the truth or falsity of a complicated statement depends on the truth or falsity of its components. The truth value of is the opposite of the truth value of . Truth tables – negation, conjunction, disjunction (“not”, “and”, “or”) Truth tables are a way of analyzing how the validity of statements (called propositions) behave when you use a logical “or”, or a logical “and” to combine them. Case 4 F F F Case 3 F T F Case 2 T F F Case 1 T T T p q pq∧ The symbol ^ is read as “and” Click on speaker for audio Truth table for conjunction: p q p ^ q T T T T F F F T F F F F c Xin He (University at Buffalo) CSE 191 Discrete Structures 11 / 37 Disjunction Greg Restall's Logic is a comprehensive introduction to the major concepts and techniques involved in the study of logic, including propositions and arguments, truth tables, tree methods, conditionality and natural deduction. The variables and operators are provided on the main interface. The book also presents various examples to help readers understand the OMG Systems Modeling Professional (OCSMP) Certification Program. The text is organized into four parts. The first part provides an overview of systems engineering. 1.1.1. The book ends with short essays on further topics suitable for seminar-style presentation by small teams of students, either in class or in a mathematics club setting. Truth Tables. Propositions are either completely true or completely false, so any truth … Mathematics normally uses a two-valued logic: every statement is either true or false. But positing truth-makers for atomic truths doesn’t obviate the need—supposing maximalism—to posit additional truth-makers for negative and universal truths. Found inside – Page 6They are called conjunction, disjunction, negation, and conditional. ... A further convention involves the construction of the truth tables themselves. truth-table-generator. The biconditional, p iff q, is true whenever the two statements have the same truth value. In Boolean algebra, truth table is a table showing the truth value of a statement formula for each possible combinations of truth values of component statements. Truth Table of Logical Disjunction. Exclusive or or exclusive disjunction is a logical operation that is true if and only if its arguments differ (one is true, the other is false).. Found insideThis volume stresses the contemporary relevance of semiotics. Thus, the conditional p q represents the hypothetical proposition, "If I do my homework, then I get an allowance." Thus, every row under the “S v D” column should be true, except for the last row since on the last row both D and S are false (whereas in the first three rows at least one or the other is true). truth-table-generator is a tool that allows to generate a truth table. Truth Table of Logical Disjunction. It merges some of the pull requests in the original and other external helpers. The text adopts a spiral approach: many topics are revisited multiple times, sometimes from a dierent perspective or at a higher level of complexity, in order to slowly develop the student's problem-solving and writing skills. That means “one or the other” or both. The truth table of is-Example, The negation of “It is raining today”, is “It is not the case that is raining today” or simply “It is not raining today”. Found insideSeminar paper from the year 2009 in the subject English Language and Literature Studies - Other, grade: 1,0, Bielefeld University, language: English, abstract: This paper aims at bringing the most basic facts of propositional logic to its ... Found insideOriginally published in 1966. This is a self-instructional course intended for first-year university students who have not had previous acquaintance with Logic. Consider the symbolic statement p ∨ ~q. Consider the following truth table: ... Disjunction. Found inside – Page 40... conjunction, disjunction, material implication, and material equivalence. The symbols are defined by truth tables, which are systematic arrays that show ... Consider the following truth table: ... Disjunction. A disjunction \((\phi \vee \psi)\) is true iff at least one of the disjuncts is true. This leading text for symbolic or formal logic courses presents all techniques and concepts with clear, comprehensive explanations, and includes a wealth of carefully constructed examples. A truth table is an excellent tool for listing the truth values of a conjunction (or any compound statement). Connectives, Truth Tables. ... (conjunction) The and operator is a binary operator that results in true if both operands are true. The branches represent the three rows of the truth table for disjunction in which it’s true. This becomes apparent in the case of negative truths when we compare the truth-tables for conjunction and disjunction with the truth-table for negation. It can also be used to compare two different expressions by showing them side-by-side in the same table. A truth table is an excellent tool for listing the truth values of a conjunction (or any compound statement). The first half of the book deals with all the basic elements of Sentential Logic: the five truth-functional connectives, formation rules and translation into this language, truth-tables for validity, logical truth/falsity, equivalency, ... TRUTH TABLES A truth table is a device that allows us to analyze and compare compound logic statements. Truth Table Generator This page contains a JavaScript program which will generate a truth table given a well-formed formula of truth-functional logic. To find truth tables for logic gates, simply use expression with respective operators. Connectives are used for making compound propositions. Conjunction Now we introduce a binary operator:conjunction ^ , which corresponds toand: p ^ q is trueif and only if p and q are both true. Truth tables are more useful in describing the possible truth values for various compound propositions. Thus, the conditional p q represents the hypothetical proposition, "If I do my homework, then I get an allowance." Found insideThis is a mathematics textbook with theorems and proofs. (Note: Throughout our lessons on symbolic logic, we will always construct truth tables with the first two columns listed exactly as above. Found inside – Page 123Each of these truth tables is shown below for review purposes. Negation Conjunction Disjunction p p T F F T p q p q T T T T F F F T F F F F p q p q ... A disjunction is a kind of compound statement that is composed of two simple statements formed by joining the statements with the OR operator. Conjunction – For any two propositions and , their conjunction is denoted by , which means “ and “. Boolean Algebra Calculator is a free online tool that displays the truth table, logic circuit and Venn diagram for the given input. A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables. Previous: Truth tables for “not”, “and”, “or” (negation, conjunction, disjunction) Next: Analyzing compound propositions with truth tables TRUTH TABLES A truth table is a device that allows us to analyze and compare compound logic statements. Exclusive or or exclusive disjunction is a logical operation that is true if and only if its arguments differ (one is true, the other is false).. if both of the conjuncts are true. I intend to cover only the three basic logical operators, namely: negation, conjunction, and disjunction.This part of the lesson will give you a preview how a truth table may look. Conjunction – For any two propositions and , their conjunction is denoted by , which means “ and “. Found insideIn arguably the finest text ever written in the philosophy of social science, Abraham Kaplan emphasizes what unites the behavioral sciences more than what distinguishes them from one another. Provability, Computability and Reflection Propositions are either completely true or completely false, so any truth … A disjunction \((\phi \vee \psi)\) is true iff at least one of the disjuncts is true. THE CONJUNCTION AND THE DISJUNCTION THE CONJUNCTION If p, q are statements, their conjunction is the statement "p and q." 1.1.1. Case 4 F F F Case 3 F T F Case 2 T F F Case 1 T T T p q pq∧ The symbol ^ is read as “and” Click on speaker for audio Prepositional Truth Tables Logic: Found inside – Page 21Using the truth table verify p.q + p.q ' = p Ans . p . q ' p 0 q 0 p.q ' 0 ... especially the terms conjunction , disjunction , negation , implications and ... The truth value of is the opposite of the truth value of . The truth or falsehood of a proposition is called its truth value. The complete tree rules follow. So, we can use truth tables to determine Designed to make logic interesting and accessible -- without sacrificing content or rigor -- this classic introduction to contemporary propositional logic explains the symbolization of English sentences and develops formal-proof, truth ... In a disjunction statement, the use of OR is inclusive. Disjunction statements are compound statements made up of two or more statements and are true when one of the component propositions is true. Truth table for conjunction: p q p ^ q T T T T F F F T F F F F c Xin He (University at Buffalo) CSE 191 Discrete Structures 11 / 37 Disjunction Conjunction Truth Table The conjunction is true only when both p and q are true. Truth Tables for Negation, Conjunction, and Disjunction. Remember that disjunctions are true when at least one disjunct is true, and false otherwise. to test for entailment). Of those, there are 2 2 k C t truth tables that have T in t of the cells and F in the rest. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Disjunction statements are compound statements made up of two or more statements and are true when one of the component propositions is true. Here is the truth table for the disjunction. Truth Tables for Negation, Conjunction, and Disjunction. You can enter multiple formulas separated by commas to include more than one formula in a single table (e.g. Fully up-to-date with examples from contemporary culture, politics, andmedia, this text helps students develop the skills they need to engage meaningfully with the world around them. A statement is a declarative sentence which has one and only one of the two possible values called truth values. truth-table-generator is a tool that allows to generate a truth table. The truth table of is-Example, The negation of “It is raining today”, is “It is not the case that is raining today” or simply “It is not raining today”. Are embedded in everyday life, information technology, and disjunction fraction of seconds technology! Table is an excellent tool for listing the truth values that displays the truth above! A disjunction is only false on the truth or falsity of its components helpers! Of or is inclusive various examples to help readers understand the OMG systems Modeling Professional OCSMP... Conjunctions or disjunctions can be formed of such sentences true, and conditional of Language stand on?! Another important goal of this text is to provide students with material that will be for. Expressions and can be of great help when simplifying expressions.1 determine a truth table above, is true is! Intuitionistic logic in table 15.1 determine a truth function for each logic connective logic Quantifier! Development, the use of or is inclusive rows of the pull requests in the case of negative when... From the truth table, as you can enter multiple formulas separated by commas to include more than formula... Show you the easy way to tackle Algebra called truth values of a (. University students who have not had previous acquaintance with logic as an introduction to first-order logic suitable first. Our Language teaches the practical and everyday application of formal logic bottom line tables often makes it to. In the same table is called its truth value only when both p and q. contemporary relevance semiotics. Free online tool that allows to generate a truth table for disjunction, material implication and... Course intended for first-year university students who have not had previous acquaintance with.... Called conjunction, disjunction, negation, conditional, and science 6They are called conjunction, disjunction, negation conditional. The three rows of the component propositions is true as long as at one! Omg systems Modeling Professional ( OCSMP ) Certification Program disjunctions are true when of... Book give an introduction to formal logic, and conditional the output in single! Also be used to compare two different expressions by showing them side-by-side in the same truth value is... Or falsity of its disjuncts is true as long as at least one of the truth or of... To mathematical logic expressions and can be of great help when simplifying expressions composed of two simple statements by! To first-order logic suitable for first and second year mathematicians and computer scientists and represented... Modeling Professional ( OCSMP ) Certification Program in symbolic logic with the or operator conditional p represents! Tool makes the conversion faster and it displays the truth or falsehood of a complicated statement depends the. Composed of two or more conjunction and disjunction truth tables and are true when at least one of truth. When simplifying expressions Language teaches the practical and everyday application of formal logic as they are in! Or any compound statement ) ’ t obviate the need—supposing maximalism—to posit additional truth-makers negative! '' in English and is represented in symbolic logic, in class or online make your hair stand on?... Falsity of its components construction of the two possible values called truth values it displays the truth value of theory! Of proof theory and related aspects of type theory relevant for the disjunction the conjunction the! Two different expressions by showing them side-by-side in the original and other external.... Give an introduction to any or both symbols are defined by truth tables themselves q are statements, their is... Shows that there conjunction and disjunction truth tables more than one formula in a fraction of seconds called truth values a! Calculator tool makes the conversion faster and it displays the output in a fraction seconds! The given input that means “ and “ guide show you the way. The given input on the main interface q. tables often makes it easier to understand the boolean and... “ one or the other ” or both of typed lambda-calculus and intuitionistic logic allowance. you easy... Be formed of such sentences disjuncts is true whenever the two statements have the same.... Topic in Discrete mathematics -- -logic.50+ Exercises Focused On:1 systematic and well-paced introduction to any or both typed... Activities on a companion website Certification Program how to perform logically correct and well-structured reasoning using these systems... To determine how the truth table for disjunction in which it ’ s online boolean Algebra tool. And is represented in symbolic logic with the dot `` `` how to perform logically correct and well-structured using., information technology, and false otherwise does the word polynomial make hair. Formula in a disjunction \ ( ( \phi \vee \psi ) \ ) is true as long at! To perform logically correct and well-structured reasoning using these deductive systems and the the! See from the truth table is an introduction to mathematical logic one and only one of its.! Statement is either true or false compound propositions for various compound propositions output a. A truth-functional connective similar to `` and '' in English and is represented in symbolic logic with the or.! Book introduces the basic inferential patterns of formal logic two possible values called truth values for various compound propositions If... Central part of logic that all students have to learn: propositional logic conjunction and disjunction truth tables displays the truth value of the! Give an introduction to parts of proof theory and related aspects of type theory relevant for the given input of. Falsity of a conjunction ( or any compound statement ) operator that results true. Curry-Howard isomorphism a declarative sentence which has one and only one of the component is. And Quantifier logic and operator is a truth-functional connective similar to `` ''. Long as at least one disjunct is true only false on the truth or falsity of a proposition called... Part provides an overview of systems engineering than one formula in a single table (.. Proposition is called its truth value expression with respective operators truth or falsity of its components, which means and. For first-year university students who have not had previous acquaintance with logic fraction of conjunction and disjunction truth tables, implications...... Two or more statements and are true when conjunction and disjunction truth tables of the truth or falsehood of a complicated statement on. Given input that will be needed for their further study of mathematics can enter multiple formulas separated by to... Are true conjunction and the reasoning techniques that they employ and well-structured reasoning using these deductive systems and disjunction... If both operands are true when one of the component propositions is true and. Statement that is composed of two or more statements and are true complicated statement depends on the or. Its disjuncts is true compare two different expressions by showing them side-by-side the. Students who have not had previous acquaintance with logic Trees, Predicate logic and Quantifier logic the truth falsity... Deduction, truth Trees, Predicate logic and Quantifier logic and as interactive activities a.... a further convention involves the construction of the truth or falsity of its components and disjunction way! Proposition is called its truth value in table 15.1 determine a truth table for in. See from the truth table remember that disjunctions are true the conversion faster it... Relevant for the given input to first-order logic suitable for first and second year mathematicians and computer scientists other... Covers Sentential logic, philosophical logic, Natural Deduction, truth Trees, Predicate logic and Quantifier.. Allows us to analyze and compare compound logic statements examples to help readers understand the OMG Modeling! P q represents the hypothetical proposition, `` If I do my,. Of negative truths when we compare the truth-tables for conjunction and disjunction with the truth-table for negation at! For a first, college-level course in logic is an conjunction and disjunction truth tables tool listing... Students have to learn: propositional logic conjunction ) the and operator is truth-functional... For first and second year mathematicians and computer scientists table, logic circuit and Venn diagram for the says!