Истинности таблицы

Истинности таблицы (truth tables) (мат.), ср-во демонстрации истинности или ложности сложного логического высказывания, напр. А и В или С и не-/), в терминах истинности или ложности каждого из неск. более простых высказываний, таких, как А и В, А или С, В или С. В табл. записываются все возможные комбинации (наборы) значений истинности (т.е. истина и ложь) для элементарных высказываний А, В, С и D, а затем выделяются те наборы, на к-рых сложные (исходные) высказывания принимают требуемое значение, напр, истина. Тавтологии, т.е. такие высказывания, как А или не-А, соответствуют ситуации, когда высказывания истинны (удовлетворяются) на каждом входном наборе значений истинности (элементарных высказываний). С др. стороны, высказывание А и не-А является ложным (противоречивым). И.т. аналогичны по своему назначению Венна диаграммам, используемым для иллюстрации геом. ср-вами взаимоотношений между множествами.