Таблиці істинності: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Albedo (обговорення | внесок)
Albedo (обговорення | внесок)
Немає опису редагування
Рядок 1:
'''ТаблицяТабли́ця істинностіі́стинності'''  — математична [[таблиця]], що широко використовується у [[математична логіка|математичній логіці]] зокрема в [[алгебра логіки|алгебрі логіки]], [[числення висловлень|численні висловлень]] для обчислення значень [[булева функція|булевих функцій]].
 
Під «логічною функцією» (також логічною операцією) в даному випадку розуміється [[функція (математика)|функція]], у якоїкотрої значення змінних (параметрів функції) і значення самої функції виражають логічну істинність.
Наприклад, в двозначній логіці вони можуть приймати значення "істина" або "хиба" (<math>~true</math> або <math>~false</math>, <math>~1</math> або <math>~0</math>).
 
Наприклад, в двозначній логіці вони можуть приймати значення "«істина"» або "«хиба"» (<math>~true</math> або <math>~false</math>, <math>~1</math> або <math>~0</math>).
Табличне задання функцій зустрічається не тільки в логіці, але для логічних функцій таблиці виявилися особливо зручними, і з початку [[XX століття]] за ними закріпилася ця спеціальна назва.
 
Табличне задання функцій зустрічається не тільки в логіці, але для логічних функцій таблиці виявилися особливо зручними, і з початку [[XX20 століття]] за ними закріпилася ця спеціальна назва.
 
== Таблиці істинності для основних логічних операцій ==