Таблицата на истинността е математическа таблица, използвана в логиката и може да се използва, за да се види дали логическото предложение е вярно за всяка входна стойност. Таблиците на истинността се използват предимно във връзка с булева алгебра, булеви функции и пропозиционално смятане. Таблицата на истинността има една колона за всяка входна променлива, напр. A и B и ред за всяка възможна комбинация от входните променливи, които са вярно и невярно. След това се добавят други колони за всеки логически оператор като „И“, „Или“ и „XOR“ и резултатите от тези оператори за всяка комбинация от входове.
Technipages обяснява таблица на истината
На австрийския философ Лудвиг Витгенщайн обикновено се приписва изобретяването и популяризирането на таблицата на истината в книга, публикувана през 1921 г. въпреки че оттогава е открито, че друг философ Чарлз Сандърс Пърс ги е измислил през 1893 г. в ръкопис, който никога не е бил публикувани.
Има 16 възможни операции, които могат да бъдат извършени върху две верни или неверни променливи. Тези операции са: Противоречие – това винаги е невярно; Логическо NOR – вярно само когато нито A, нито B са верни; Обратно неимпликация – е вярно, където B е вярно, а A е невярно; Отрицание – е вярно само когато A е невярно, независимо от стойността на B; Материално неимпликация – вярно е, когато А е, а Б не е; Отрицание – Изключителна дизюнкция; Логическа NAND; Логическа връзка; Логическа двуусловна; Проекционна функция; Материално значение; Проекционна функция; Обратно внушение; Логическа дизюнкция и тавтология.
Всеки от тях, разбира се, има свои собствени употреби и цели, но имат едно общо нещо: изпълняват се с помощта на една или две променливи true/false. Поради простото (ако не и лесно за разбиране) естеството на тези променливи и операции е възможно разбийте сложните операции на малък набор от елементи – стойности true/false и горното операции.
Таблица за общи употреби на истината
- Таблицата на истинността е математическа таблица, използвана в логиката.
- Всеки ред от таблицата на истинността съдържа една възможна конфигурация на входните променливи.
- Таблиците на истинността могат да се използват за доказване на логически еквивалентности.
Таблица за често срещани злоупотреби с истината
- Таблиците за истинност проверяват дали данните в таблица или база данни са правилни.