{"id":89596,"date":"2021-08-18T11:45:00","date_gmt":"2021-08-18T16:45:00","guid":{"rendered":"https:\/\/www.mometrix.com\/academy\/?page_id=89596"},"modified":"2026-03-26T09:36:23","modified_gmt":"2026-03-26T14:36:23","slug":"truth-tables","status":"publish","type":"page","link":"https:\/\/www.mometrix.com\/academy\/truth-tables\/","title":{"rendered":"Truth Tables"},"content":{"rendered":"\n\t\t\t<div id=\"mmDeferVideoEncompass_jsqbVgy-ClU\" style=\"position: relative;\">\n\t\t\t<picture>\n\t\t\t\t<source srcset=\"https:\/\/www.mometrix.com\/academy\/wp-content\/uploads\/2023\/01\/circle-play-duotone.webp\" type=\"image\/webp\">\n\t\t\t\t<source srcset=\"https:\/\/www.mometrix.com\/academy\/wp-content\/uploads\/2023\/01\/circle-play-duotone.png\" type=\"image\/jpeg\"> \n\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" loading=\"eager\" id=\"videoThumbnailImage_jsqbVgy-ClU\" data-source-videoID=\"jsqbVgy-ClU\" src=\"https:\/\/www.mometrix.com\/academy\/wp-content\/uploads\/2023\/01\/circle-play-duotone.png\" alt=\"Truth Tables Video\" height=\"464\" width=\"825\" class=\"size-full\" data-matomo-title = \"Truth Tables\">\n\t\t\t<\/picture>\n\t\t\t<\/div>\n\t\t\t<style>img#videoThumbnailImage_jsqbVgy-ClU:hover {cursor:pointer;} img#videoThumbnailImage_jsqbVgy-ClU {background-size:contain;background-image:url(\"https:\/\/www.mometrix.com\/academy\/wp-content\/uploads\/2023\/01\/1792-thumb-final-1.webp\");}<\/style>\n\t\t\t<script defer>\n\t\t\t  jQuery(\"img#videoThumbnailImage_jsqbVgy-ClU\").click(function() {\n\t\t\t\tlet videoId = jQuery(this).attr(\"data-source-videoID\");\n\t\t\t\tlet helpTag = '<div id=\"mmDeferVideoYTMessage_jsqbVgy-ClU\" style=\"display: none;position: absolute;top: -24px;width: 100%;text-align: center;\"><span style=\"font-style: italic;font-size: small;border-top: 1px solid #fc0;\">Having trouble? <a href=\"https:\/\/www.youtube.com\/watch?v='+videoId+'\" target=\"_blank\">Click here to watch on YouTube.<\/a><\/span><\/div>';\n\t\t\t\tlet tag = document.createElement(\"iframe\");\n\t\t\t\ttag.id = \"yt\" + videoId;\n\t\t\t\ttag.src = \"https:\/\/www.youtube-nocookie.com\/embed\/\" + videoId + \"?autoplay=1&controls=1&wmode=opaque&rel=0&egm=0&iv_load_policy=3&hd=0&enablejsapi=1\";\n\t\t\t\ttag.frameborder = 0;\n\t\t\t\ttag.allow = \"autoplay; fullscreen\";\n\t\t\t\ttag.width = this.width;\n\t\t\t\ttag.height = this.height;\n\t\t\t\ttag.setAttribute(\"data-matomo-title\",\"Truth Tables\");\n\t\t\t\tjQuery(\"div#mmDeferVideoEncompass_jsqbVgy-ClU\").html(tag);\n\t\t\t\tjQuery(\"div#mmDeferVideoEncompass_jsqbVgy-ClU\").prepend(helpTag);\n\t\t\t\tsetTimeout(function(){jQuery(\"div#mmDeferVideoYTMessage_jsqbVgy-ClU\").css(\"display\", \"block\");}, 2000);\n\t\t\t  });\n\t\t\t  \n\t\t\t<\/script>\n\t\t\n<p><script>\nfunction fkx_Function() {\n  var x = document.getElementById(\"fkx\");\n  if (x.style.display === \"none\") {\n    x.style.display = \"block\";\n  } else {\n    x.style.display = \"none\";\n  }\n}\n<\/script><\/p>\n<div class=\"moc-toc hide-on-desktop hide-on-tablet\">\n<div><button onclick=\"fkx_Function()\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.mometrix.com\/academy\/wp-content\/uploads\/2024\/12\/toc2.svg\" width=\"16\" height=\"16\" alt=\"show or hide table of contents\"><\/button><\/p>\n<p>On this page<\/p>\n<\/div>\n<nav id=\"fkx\" style=\"display:none;\">\n<ul>\n<li class=\"toc-h2\"><a href=\"#Statements_and_Truth_Values\" class=\"smooth-scroll\">Statements and Truth Values<\/a><\/li>\n<li class=\"toc-h2\"><a href=\"#Negation\" class=\"smooth-scroll\">Negation<\/a><\/li>\n<li class=\"toc-h2\"><a href=\"#Conjunction\" class=\"smooth-scroll\">Conjunction<\/a><\/li>\n<li class=\"toc-h2\"><a href=\"#Disjunction\" class=\"smooth-scroll\">Disjunction<\/a><\/li>\n<li class=\"toc-h2\"><a href=\"#Conditional_Statements\" class=\"smooth-scroll\">Conditional Statements<\/a><\/li>\n<li class=\"toc-h2\"><a href=\"#Complex_Truth_Tables\" class=\"smooth-scroll\">Complex Truth Tables<\/a><\/li>\n<li class=\"toc-h2\"><a href=\"#Applying_Truth_Tables\" class=\"smooth-scroll\">Applying Truth Tables<\/a><\/li>\n<\/ul>\n<\/nav>\n<\/div>\n<div class=\"accordion\"><input id=\"transcript\" type=\"checkbox\" class=\"spoiler_button\" \/><label for=\"transcript\">Transcript<\/label>\n<div class=\"spoiler\" id=\"transcript-spoiler\">\n<h2><span id=\"Statements_and_Truth_Values\" class=\"m-toc-anchor\"><\/span>Statements and Truth Values<\/h2>\n<p>\nDeclarative word or number sentences are called <strong>statements<\/strong> if they are either true or false but cannot be both. Sometimes their truth values are easy to determine:<\/p>\n<ul>\n<li><em>There are 12 months in a year<\/em> is a true statement.<\/li>\n<li>\\(3+1=5\\) is a false statement.<\/li>\n<li>\\(n\\) is an even number is not a statement (it is an open sentence) because the truth value depends on the value of \\(n\\).<\/li>\n<\/ul>\n<p>Other times it might not be so obvious and a truth table may be needed. Truth tables show the truth values of one or more compound statements for each possible combination of truth values of the statements within them. In this video, we\u2019ll see how they work with common logical operators, and then we\u2019ll get into more complex conditional statements.<\/p>\n<h2><span id=\"Negation\" class=\"m-toc-anchor\"><\/span>Negation<\/h2>\n<p>\nFirst up, negation, denoted by this symbol: \\(\u00ac\\). Every time a statement \\(P\\) is negated, its truth value is reversed. The truth table shows the truth values resulting from different numbers of negations:<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>\\(P\\)<\/strong><\/th>\n<th><strong>\\(\u00acP\\)<\/strong><\/th>\n<th><strong>\\(\u00ac\u00acP\\)<\/strong><\/th>\n<th><strong>\\(\u00ac\u00ac\u00acP\\)<\/strong><\/th>\n<th><strong>&#8230;<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>&#8230;<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>&#8230;<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<br \/>\nIf the statement \\(P\\) is true, then the negation of \\(P\\) is false, the negation of the negation of \\(P\\) is true, the negation of the negation of the negation of \\(P\\) is false, and so on and so forth. If the statement \\(P\\) is false, then you will have the opposite truth values.<\/p>\n<p>Suppose \\(P\\) is the statement, \u201c<em>Snoopy is a dog<\/em>.\u201d Using the truth table, since we can see this statement is true, we can also see that the statement, \u201c<em>Snoopy is not not a dog<\/em>,\u201d is also true.<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>\\(P\\)<\/strong><\/th>\n<th><strong>\\(\u00acP\\)<\/strong><\/th>\n<th><strong>\\(\u00ac\u00acP\\)<\/strong><\/th>\n<th><strong>\\(\u00ac\u00ac\u00acP\\)<\/strong><\/th>\n<th><strong>&#8230;<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>&#8230;<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>&#8230;<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<br \/>\nIf \\(P\\) is the statement, \u201c<em>0.5 is an integer<\/em>,\u201d which is false, the table shows that, \u201c<em>0.5 is not an integer<\/em>,\u201d is true.<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>\\(P\\)<\/strong><\/th>\n<th><strong>\\(\u00acP\\)<\/strong><\/th>\n<th><strong>\\(\u00ac\u00acP\\)<\/strong><\/th>\n<th><strong>\\(\u00ac\u00ac\u00acP\\)<\/strong><\/th>\n<th><strong>&#8230;<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>&#8230;<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>&#8230;<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<\/p>\n<h2><span id=\"Conjunction\" class=\"m-toc-anchor\"><\/span>Conjunction<\/h2>\n<p>\nNow for conjunction, joining two statements \\(P\\) and \\(Q\\) with the word \u201cand\u201d. The symbol for conjunction is an upside down V: \u2227. A conjunction is true only when both statements are true, according to the table:<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>P<\/strong><\/th>\n<th><strong>Q<\/strong><\/th>\n<th><strong>P\u2227Q<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<br \/>\nIf the statement \\(P\\) is true AND the statement \\(Q\\) is true, then \\(P\u2227Q\\) is true. If \\(P\\) is true and \\(Q\\) is false, then \\(P\u2227Q\\) is false. If \\(P\\) is false and \\(Q\\) is true, then \\(P\u2227Q\\) is false. And if \\(P\\) is false and \\(Q\\) is false, then \\(P\u2227Q\\) is false.<\/p>\n<p>The statement, \u201c<em>Snoopy is a dog and 0.5 is an integer<\/em>,\u201d is false according to the table because \\(P\\) \u2013 <em>Snoopy is a dog<\/em> \u2013 is true, but \\(Q\\) \u2013 0.5 is an <em>integer<\/em> \u2013  is false.<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>P<\/strong><\/th>\n<th><strong>Q<\/strong><\/th>\n<th><strong>P\u2227Q<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<\/p>\n<h2><span id=\"Disjunction\" class=\"m-toc-anchor\"><\/span>Disjunction<\/h2>\n<p>\nDisjunction, two statements joined by \u201cor\u201d and represented by this symbol: \\(\u2228\\), has kind of an opposite effect. It is only false when both statements are false.<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>P<\/strong><\/th>\n<th><strong>Q<\/strong><\/th>\n<th><strong>P\u2228Q<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<br \/>\nIf \\(P\\) is true and \\(Q\\) is true, then \\(P\u2228Q\\) is true. If \\(P\\) is true and \\(Q\\) is false, then \\(P\u2228Q\\) is true. If \\(P\\) is false and \\(Q\\) is true, then \\(P\u2228Q\\) is true. If \\(P\\) is false and \\(Q\\) is false, then \\(P\u2228Q\\) is also false.<\/p>\n<p>The statement, \u201c<em>Snoopy is a dog or 0.5 is an integer<\/em>,\u201d is true according to the table because \\(P\\) \u2013 <em>Snoopy is a dog<\/em> \u2013 is true, and Q \u2013<em> 0.5 is an integer<\/em> \u2013  is false.<\/p>\n<h2><span id=\"Conditional_Statements\" class=\"m-toc-anchor\"><\/span>Conditional Statements<\/h2>\n<p>\nConditional statements, denoted by an arrow can also be evaluated using truth tables. Consider the example, \u201c<em>Natural numbers are integers<\/em>.\u201d Of course, this can be written in \u201cif, then\u201d form: \u201c<em>If a number is a natural number, then it is an integer<\/em>.\u201d<\/p>\n<p>Upon hearing this statement, you grab your calculator, ready to generate some random numbers. For each number generated, one of four things will happen:<\/p>\n<ol>\n<li>Your number will be a natural number that is also an integer.<\/li>\n<li>Your number will be a natural number that is not an integer.<\/li>\n<li>Your number will not be a natural number but will be an integer.<\/li>\n<li>Your number will not be a natural number and will not be an integer.<\/li>\n<\/ol>\n<p>Scenario 1 could definitely be true. Scenario 2 could not. Scenarios 3 and 4, however, could go either way, but from the <em>statement only<\/em>, we don\u2019t actually know anything about numbers that are not natural numbers. All we know is that if a number is a natural number, then it is an integer. So scenarios 3 and 4 don\u2019t change the truth value of the conditional. Here\u2019s what the truth table for a conditional looks like:<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>Scenario<\/strong><\/th>\n<th><strong>P<\/strong><\/th>\n<th><strong>Q<\/strong><\/th>\n<th><strong>P\u2192Q<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>1<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>2<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>3<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>4<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<br \/>\nSuppose I make this statement: \u201c<em>If you make an A on your test, then I\u2019ll give you 10 dollars<\/em>.\u201d Is the statement, \u201cIf you make a B on your test, then I\u2019ll give you 10 dollars,\u201d true or false?<br \/>\n[pause]<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>P<\/strong><\/th>\n<th><strong>Q<\/strong><\/th>\n<th><strong>P\u2192Q<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tr>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<\/tr>\n<\/table>\n<p>\n&nbsp;<br \/>\nThe statement is true because we don\u2019t know the outcome of bringing home a B. All we know is that it is true that an A will get us 10 bucks. <\/p>\n<p>Think of it this way, if you got an A, then you should get $10. So when \\(P\\) is true (you make an A on your test) and \\(Q\\) is true (I give you $10), then \\(P\u2192Q\\) is also true because the first thing caused the second thing to happen. I told you the truth. But what if you got an A on your test (\\(P\\) is true) and I didn&#8217;t give you $10 (\\(Q\\) is false)? Well, you&#8217;d probably be upset with me because I lied to you and told you a false statement (\\(P\u2192Q\\) is false).<\/p>\n<p>These next two rows are where it gets a little tricky. What if you make a B on your test (\\(P\\) is false) and I give you $10 (\\(Q\\) is true). Is \\(P\u2192Q\\) true? It may not seem like it, but it is true. I didn&#8217;t lie to you by giving you $10 even though you didn&#8217;t make an A because I didn&#8217;t tell you what I would do if you made a B. The same logic follows for the next statement. If you make a B on your test (\\(P\\) is false) and I don&#8217;t give you $10 (\\(Q\\) is false), then \\(P\u2192Q\\) is still true. Again, I didn&#8217;t lie to you by not giving you $10 when you made a B. All I said was IF you made an A, then I would give you $10. There were no promises made or broken for you making a B.<\/p>\n<h3><span id=\"Biconditional_Statements\" class=\"m-toc-anchor\"><\/span>Biconditional Statements<\/h3>\n<p>\nThe potential truth values of biconditionals can also be charted using truth tables. Biconditionals, usually containing \u201cif and only if\u201d and represented with a double arrow \u2194, are true when both statements \\(P\\) and \\(Q\\) are either true or false. Definitions tend to work well as biconditionals. Here\u2019s one: \u201cA right angle measures 90 degrees.\u201d This can also be written, \u201c<em>An angle is a right angle if and only if it measures 90 degrees<\/em>.\u201d Biconditionals go both ways, so the reverse also works: \u201c<em>An angle measures 90 degrees if and only if it is a right angle<\/em>.\u201d<\/p>\n<p>Given an angle, there are four possible scenarios:<\/p>\n<ul>\n<li>An angle is a right angle and measures 90 degrees.<\/li>\n<li>An angle is a right angle and does not measure 90 degrees.<\/li>\n<li>An angle is not a right angle and measures 90 degrees.<\/li>\n<li>The angle is not a right angle and does not measure 90 degrees.<\/li>\n<\/ul>\n<p>Clearly, scenarios 1 and 4 are true and 2 and 3 are false. Therefore, this is the truth table:<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>Scenario<\/strong><\/th>\n<th><strong>P<\/strong><\/th>\n<th><strong>Q<\/strong><\/th>\n<th><strong>P\u2194Q<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>1<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>2<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>3<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>4<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<\/p>\n<h2><span id=\"Complex_Truth_Tables\" class=\"m-toc-anchor\"><\/span>Complex Truth Tables<\/h2>\n<p>\nConsider the statement \u201c<em>Two lines are parallel if they are coplanar and do not intersect<\/em>.\u201d Notice that the phrase &#8220;if and only if&#8221; has been simplified to if with two f&#8217;s. This is a common simplification made in mathematical phrases. Here, we\u2019ll consider three statements:<\/p>\n<ul>\n<li>Two lines are parallel lines.<\/li>\n<li>Two lines are coplanar.<\/li>\n<li>Two lines do not intersect.<\/li>\n<\/ul>\n<p>This statement is of the form \\(P \u2194 (Q\u2227R)\\). Let\u2019s make a truth table. Since there are three statements in this example and each one has its own true or false value, we know that our truth table will have \\(2^3\\) rows. In general, any truth table has \\(2^n\\) rows.<\/p>\n<p>So the first three columns for \\(P\\), \\(Q\\), and \\(R\\) show the different possibilities for if \\(P\\), \\(Q\\), and \\(R\\) are true or false. Generally they\u2019re set up the same way for any truth table that you have. Now we\u2019re gonna look at the second part of our statement: \\(Q\u2227R\\). <\/p>\n<p>For our first row, \\(Q\u2227R\\), we know that that\u2019s true because \\(Q\\) and \\(R\\) are both true. Then we look at \\(P\\). So our statement \\(P\\) is true, and the statement \\(Q\u2227R\\) is true, so \\(P \u2194 (Q\u2227R)\\) is also true.<\/p>\n<p>Then for our second row we can do the same thing. Look at \\(Q\u2227R\\). \\(R\\) is false, so \\(Q\u2227R\\) is also false. Then we compare this to our statement \\(P\\). \\(P\\) is true and \\(Q\u2227R\\) is false, so \\(P \u2194 (Q\u2227R)\\) is also false.<\/p>\n<p>For our third row, we&#8217;re gonna look at \\(Q\u2227R\\). \\(Q\\) is false, so the statement \\(Q\u2227R\\) is false. Compared to our \\(P\\) statement which is true, that makes our biconditional statement, \\(P \u2194 (Q\u2227R)\\) false because the \\(Q\u2227R\\) part is false.<\/p>\n<p>For our fourth row, we&#8217;re gonna do the same thing, we look at \\(Q\u2227R\\), both \\(Q\\) and \\(R\\) are false, so \\(Q\u2227R\\) is also false. Compared to \\(P\\), which is true, that makes our biconditional statement, \\(P \u2194 (Q\u2227R)\\) false because \\(Q\u2227R\\) is false, while \\(P\\) is true.<\/p>\n<p>For our fifth row, we look at \\(Q\u2227R\\). Both \\(Q\\) and \\(R\\) are true, so \\(Q\u2227R\\) is true. Compared to our statement \\(P\\), which is false, \\(P \u2194 (Q\u2227R)\\) is also false.<\/p>\n<p>For our sixth row, \\(Q\u2227R\\) is false because \\(R\\) is false. Compared to \\(P\\), \\(P\\) is also false, which makes our biconditional statement, \\(P \u2194 (Q\u2227R)\\) true because they have the same truth value. \\(P\\) has the same truth value as \\(Q\u2227R\\).<\/p>\n<p>Looking at our seventh row, we&#8217;ll see the same thing. \\(Q\u2227R\\) is false because \\(Q\\) is false. But since \\(P\\) is also false, our biconditional statement becomes true. For our last row, we see that \\(Q\u2227R \\) is false because both \\(Q\\) and \\(R\\) have false truth values. And we compare this to our \\(P\\), which is also false, so \\(P \u2194 (Q\u2227R)\\) is true because \\(P\\) is false and \\(Q\u2227R\\) is false, at the same time. Therefore, the whole thing is true.<\/p>\n<table class=\"ATable\" style=\"margin: auto; width: 96%;\">\n<thead>\n<tr>\n<th><strong>P<\/strong><\/th>\n<th><strong>Q<\/strong><\/th>\n<th><strong>R<\/strong><\/th>\n<th><strong>(Q\u2227R)<\/strong><\/th>\n<th><strong>P \u2194 (Q\u2227R)<\/strong><\/th>\n<th><strong>Reasoning<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>&#8220;And&#8221; statement true, matches true p<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>False R makes the &#8220;and&#8221; false but the P is true<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>False Q makes the &#8220;and&#8221; false but P is true<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>False Q and R make the &#8220;and&#8221; false but the P true<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>P false, &#8220;and&#8221; true<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>P and &#8220;and&#8221; both false<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>P and &#8220;and&#8221; both false<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>P and &#8220;and&#8221; both false<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<\/p>\n<h2><span id=\"Applying_Truth_Tables\" class=\"m-toc-anchor\"><\/span>Applying Truth Tables<\/h2>\n<p>\nUsing the truth table, we can pinpoint whether the statement, \u201c<em>Two lines are skew if they are coplanar and do not intersect<\/em>\u201d is true or false. Skew lines, of course, do not intersect, but are not coplanar. Clearly a false statement, shown by the truth table.<\/p>\n<table class=\"ATable\" style=\"margin: auto;\">\n<thead>\n<tr>\n<th><strong>P<\/strong><\/th>\n<th><strong>Q<\/strong><\/th>\n<th><strong>R<\/strong><\/th>\n<th><strong>(Q\u2227R)<\/strong><\/th>\n<th><strong>P \u2194 (Q\u2227R)<\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<\/tr>\n<tr>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>F<\/td>\n<td>T<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\n&nbsp;<br \/>\nSince we are considering skew lines, we will assume \\(P\\) is true. Skew lines are not coplanar, so \\(Q\\) is false. And skew lines do not intersect, so \\(R\\) is true. This gives us row 3, which shows that \\((Q\u2227R)\\) is false because \\(Q\\) is false, which means that \\(P \u2194 (Q\u2227R)\\) is also false because \\((Q\u2227R)\\) is false, even though \\(P\\) is true.<\/p>\n<p>I hope that this video helped you understand how truth tables work and how they can be used to determine truth values!<\/p>\n<p>Thanks for watching, and happy studying!<\/p>\n<\/div>\n<\/div>\n\n<div class=\"home-buttons\">\n<p><a href=\"https:\/\/www.mometrix.com\/academy\/discrete-math\/\">Return to Discrete Math Videos<\/a><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Return to Discrete Math Videos<\/p>\n","protected":false},"author":1,"featured_media":100795,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":{"0":"post-89596","1":"page","2":"type-page","3":"status-publish","4":"has-post-thumbnail","6":"page_category-discrete-math-videos","7":"page_category-proof-videos","8":"page_category-video-pages-for-study-course-sidebar-ad","9":"page_type-video","10":"subject_matter-math"},"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/pages\/89596","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/comments?post=89596"}],"version-history":[{"count":6,"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/pages\/89596\/revisions"}],"predecessor-version":[{"id":279628,"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/pages\/89596\/revisions\/279628"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/media\/100795"}],"wp:attachment":[{"href":"https:\/\/www.mometrix.com\/academy\/wp-json\/wp\/v2\/media?parent=89596"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}