Смотреть больше слов в «Орысша-қазақша "Электроника, радиотехника және байланыс" терминологиялық сөздік»
ТАБЛИЦА ИСТИННОСТИ — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической <i>математической логике </i>предполагается, что каждое простое (не содержащее логических связок) высказывание является либо истинным, либо ложным, но не тем и другим одновременно. Нам не известно, истинно или ложно данное простое высказывание, чтобы установить это, потребовалось бы обратиться к фактам действительности, но логика этого не делает. Однако мы знаем, что у высказывания имеется лишь две возможности — быть истинным либо быть ложным. Когда с помощью логических связок мы соединяем простые высказывания в сложное, встает вопрос: при каких условиях сложное высказывание считается истинным, а при каких — ложным? Для ответа на этот вопрос и служат Т. и. Каждая логическая связка имеет свою таблицу, которая показывает, при каких наборах значений простых высказываний сложное высказывание с этой связкой будет истинным, а при каких — ложным. Приведем Т. и. для <i>отрицания</i>,<i> конъюнкции</i>,<i> дизъюнкции </i>и <i>импликации </i>("и" означает "истина", "л" — "ложь"): <br style="page-break-before: auto;" clear="all"> <div align="center"> <table style="margin-left: 2pt; border-collapse: collapse;" border="0" cellpadding="0" cellspacing="0"> <tbody> <tr style="height: 13.9pt;"> <td style="border: 0.75pt solid windowtext; padding: 0cm 2pt; width: 23.05pt; height: 13.9pt;" valign="top" width="31"> <i>А</i> </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 42.25pt; height: 13.9pt;" valign="top" width="56"> <i>~ А</i> </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 37.9pt; height: 13.9pt;" valign="top" width="51"> <i>А</i> </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 39.85pt; height: 13.9pt;" valign="top" width="53"> <i>В</i> </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 42.25pt; height: 13.9pt;" valign="top" width="56"> <i>А&В</i> </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 39.35pt; height: 13.9pt;" valign="top" width="52"> <i>A</i><i> </i>v <i>B</i> </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 47.05pt; height: 13.9pt;" valign="top" width="63"> <i>A</i>-> <i>в</i> </td> </tr> <tr style="height: 13.45pt;"> <td style="border-style: none solid; border-color: -moz-use-text-color windowtext; border-width: medium 0.75pt; padding: 0cm 2pt; width: 23.05pt; height: 13.45pt;" valign="top" width="31"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 42.25pt; height: 13.45pt;" valign="top" width="56"> л </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 37.9pt; height: 13.45pt;" valign="top" width="51"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 39.85pt; height: 13.45pt;" valign="top" width="53"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 42.25pt; height: 13.45pt;" valign="top" width="56"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 39.35pt; height: 13.45pt;" valign="top" width="52"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 47.05pt; height: 13.45pt;" valign="top" width="63"> и </td> </tr> <tr style="height: 11.5pt;"> <td style="border-style: none solid; border-color: -moz-use-text-color windowtext; border-width: medium 0.75pt; padding: 0cm 2pt; width: 23.05pt; height: 11.5pt;" valign="top" width="31"> л </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 42.25pt; height: 11.5pt;" valign="top" width="56"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 37.9pt; height: 11.5pt;" valign="top" width="51"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 39.85pt; height: 11.5pt;" valign="top" width="53"> л </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 42.25pt; height: 11.5pt;" valign="top" width="56"> л </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 39.35pt; height: 11.5pt;" valign="top" width="52"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 47.05pt; height: 11.5pt;" valign="top" width="63"> л </td> </tr> <tr style="height: 11.5pt;"> <td style="border-style: none solid; border-color: -moz-use-text-color windowtext; border-width: medium 0.75pt; padding: 0cm 2pt; width: 23.05pt; height: 11.5pt;" valign="top" width="31"> </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 42.25pt; height: 11.5pt;" valign="top" width="56"> </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 37.9pt; height: 11.5pt;" valign="top" width="51"> л </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 39.85pt; height: 11.5pt;" valign="top" width="53"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 42.25pt; height: 11.5pt;" valign="top" width="56"> л </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 39.35pt; height: 11.5pt;" valign="top" width="52"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 47.05pt; height: 11.5pt;" valign="top" width="63"> и </td> </tr> <tr style="height: 14.4pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 0.75pt 0.75pt; padding: 0cm 2pt; width: 23.05pt; height: 14.4pt;" valign="top" width="31"> </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 42.25pt; height: 14.4pt;" valign="top" width="56"> </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 37.9pt; height: 14.4pt;" valign="top" width="51"> л </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 39.85pt; height: 14.4pt;" valign="top" width="53"> л </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 42.25pt; height: 14.4pt;" valign="top" width="56"> л </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 39.35pt; height: 14.4pt;" valign="top" width="52"> л </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 47.05pt; height: 14.4pt;" valign="top" width="63"> и </td> </tr> </tbody> </table> Пользуясь приведенными таблицами, для любого сложного высказывания, содержащего указанные связки, можем построить Т. и.. которая покажет, когда высказывание истинно и когда — ложно. В качестве примера построим Т. и. для такого высказывания: (<i>A</i><i> </i>v~<i>B</i>) —> <i>B</i>. <div align="center"> <table style="margin-left: 2pt; border-collapse: collapse;" border="0" cellpadding="0" cellspacing="0"> <tbody> <tr style="height: 16.8pt;"> <td style="border: 0.75pt solid windowtext; padding: 0cm 2pt; width: 27.35pt; height: 16.8pt;" valign="top" width="36"> </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 33.1pt; height: 16.8pt;" valign="top" width="44"> <i>А</i> </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 35.05pt; height: 16.8pt;" valign="top" width="47"> <i>B</i> </td> <td colspan="2" style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 0.75pt 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 77.65pt; height: 16.8pt;" valign="top" width="104"> (<i>A</i>v~<i>B</i>) -><i>B</i> </td> </tr> <tr style="height: 11.5pt;"> <td style="border-style: none solid; border-color: -moz-use-text-color windowtext; border-width: medium 0.75pt; padding: 0cm 2pt; width: 27.35pt; height: 11.5pt;" valign="top" width="36"> 1 </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 33.1pt; height: 11.5pt;" valign="top" width="44"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 35.05pt; height: 11.5pt;" valign="top" width="47"> и </td> <td style="border: medium none ; padding: 0cm 2pt; width: 36.95pt; height: 11.5pt;" valign="top" width="49"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 40.7pt; height: 11.5pt;" valign="top" width="54"> и </td> </tr> <tr style="height: 11.05pt;"> <td style="border-style: none solid; border-color: -moz-use-text-color windowtext; border-width: medium 0.75pt; padding: 0cm 2pt; width: 27.35pt; height: 11.05pt;" valign="top" width="36"> 2 </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 33.1pt; height: 11.05pt;" valign="top" width="44"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 35.05pt; height: 11.05pt;" valign="top" width="47"> л </td> <td style="border: medium none ; padding: 0cm 2pt; width: 36.95pt; height: 11.05pt;" valign="top" width="49"> и </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 40.7pt; height: 11.05pt;" valign="top" width="54"> л </td> </tr> <tr style="height: 11.5pt;"> <td style="border-style: none solid; border-color: -moz-use-text-color windowtext; border-width: medium 0.75pt; padding: 0cm 2pt; width: 27.35pt; height: 11.5pt;" valign="top" width="36"> 3 </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 33.1pt; height: 11.5pt;" valign="top" width="44"> л </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 35.05pt; height: 11.5pt;" valign="top" width="47"> и </td> <td style="border: medium none ; padding: 0cm 2pt; width: 36.95pt; height: 11.5pt;" valign="top" width="49"> л </td> <td style="border-style: none solid none none; border-color: -moz-use-text-color windowtext -moz-use-text-color -moz-use-text-color; border-width: medium 0.75pt medium medium; padding: 0cm 2pt; width: 40.7pt; height: 11.5pt;" valign="top" width="54"> и </td> </tr> <tr style="height: 13.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 0.75pt 0.75pt; padding: 0cm 2pt; width: 27.35pt; height: 13.9pt;" valign="top" width="36"> 4 </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 33.1pt; height: 13.9pt;" valign="top" width="44"> л </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 35.05pt; height: 13.9pt;" valign="top" width="47"> л </td> <td style="border-style: none none solid; border-color: -moz-use-text-color -moz-use-text-color windowtext; border-width: medium medium 0.75pt; padding: 0cm 2pt; width: 36.95pt; height: 13.9pt;" valign="top" width="49"> и </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 0.75pt 0.75pt medium; padding: 0cm 2pt; width: 40.7pt; height: 13.9pt;" valign="top" width="54"> л </td> </tr> </tbody> </table> Сначала, руководствуясь таблицей для отрицания, выписываем значения <i>~В </i>(в таблице опущены): 1) "л"; 2) "и"; 3) "л"; 4) "и". Затем устанавливаем значения дизъюнктивного высказывания, стоящего в скобках. Для случая (1): <i>A</i><i> </i>истинно, <i>~ В — </i>ложно, в таблице для дизъюнкции это соответствует случаю (2), при котором дизъюнкция истинна, поэтому под нашим высказыванием пишем "и", и т. д. И наконец, выписываем значения истинности для импликации, которая в данном случае является главной связкой нашего высказывания. Построенная таблица говорит, что наше сложное высказывание истинно при первом и третьем наборах значений простых высказываний и ложно при втором и четвертом наборах. Т. и. позволяет выделить из класса формул нашего языка всегда истинные формулы (тавтологии), всегда ложные формулы, установить отношение <i>логического следования </i>между формулами, их эквивалентность и т. д. Наряду с двузначными Т. и. в логике используются таблицы с тремя, четырьмя и т. д. значениями истинности, построением и анализом которых занимается <i>многозначная логика</i>. <br><br><br> </div> </div>... смотреть
таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В кл... смотреть
Таблица истинности (true table) — таблица значений логических операций для всевозможных значений операндов. Т.и. булевых операций и операций над перечислимым типом, которые встроены в машину логического вывода, для перечислимых пользователь может задать Т.и. сам.<p>[Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]</p>... смотреть
вчт. tabella di verità {delle funzioni booleane}
<comput.> truth table
• pravdivostní tabulka• pravidelnostní tabulka
лог. truth table
truth table
truth table
ақиқаттық кестесі, шындық кестесі
табли́ця і́стинності
truth table
truth table
truthtable