სიმართლის ცხრილი არის მათემატიკური ცხრილი, რომელიც გამოიყენება ლოგიკაში და შეიძლება გამოყენებულ იქნას იმის დასანახად, არის თუ არა ლოგიკური წინადადება ჭეშმარიტი ნებისმიერი შეყვანის მნიშვნელობისთვის. სიმართლის ცხრილები ძირითადად გამოიყენება ლოგის ალგებრასთან, ლოგიკურ ფუნქციებთან და წინადადებების გამოთვლებთან დაკავშირებით. სიმართლის ცხრილს აქვს ერთი სვეტი თითოეული შეყვანის ცვლადისთვის, მაგ. A და B და მწკრივი შეყვანის ცვლადების თითოეული შესაძლო კომბინაციისთვის, რომელიც არის true და false. შემდეგ ემატება სხვა სვეტები თითოეული ლოგიკური ოპერატორისთვის, როგორიცაა "And", "Or" და "XOR" და ამ ოპერატორების შედეგები შეყვანის თითოეული კომბინაციისთვის.
Technipages განმარტავს ჭეშმარიტების ცხრილს
ავსტრიელ ფილოსოფოსს, ლუდვიგ ვიტგენშტაინს, 1921 წელს გამოცემულ წიგნში, ზოგადად, მიეწერება სიმართლის ცხრილის გამოგონება და პოპულარიზაცია. თუმცა მას შემდეგ კიდევ ერთი ფილოსოფოსი ჩარლზ სანდერს პირსი აღმოაჩინეს, რომ მან გამოიგონა ისინი 1893 წელს ხელნაწერში, რომელიც არასოდეს ყოფილა გამოქვეყნდა.
არსებობს 16 შესაძლო ოპერაცია, რომელიც შეიძლება შესრულდეს ორ ჭეშმარიტ ან მცდარ ცვლადზე. ეს ოპერაციებია: წინააღმდეგობა - ეს ყოველთვის ყალბია; ლოგიკური NOR - მხოლოდ მაშინ, როდესაც არც A და არც B არ არის ჭეშმარიტი; საპირისპირო არაიმპლიკაცია - მართალია, სადაც B არის ჭეშმარიტი და A არის მცდარი; უარყოფა - მართალია მხოლოდ მაშინ, როდესაც A არის მცდარი, არ აქვს მნიშვნელობა B-ს მნიშვნელობას; მატერიალური არაიმპლიკაცია - მართალია, როდესაც A არის და B არა; უარყოფა – ექსკლუზიური დისჯუნქცია; ლოგიკური NAND; ლოგიკური კავშირი; ლოგიკური ორპირობითი; პროექციის ფუნქცია; მატერიალური გავლენა; პროექციის ფუნქცია; საპირისპირო იმპლიკაცია; ლოგიკური დისიუნქცია და ტავტოლოგია.
თითოეულ მათგანს აქვს თავისი გამოყენება და დანიშნულება, რა თქმა უნდა, მაგრამ მათ აქვთ ერთი საერთო: ისინი შესრულებულია ერთი ან ორი true/false ცვლადის გამოყენებით. ამ ცვლადების და ოპერაციების მარტივი (თუ ადვილი გასაგები არ) ბუნების გამო, შესაძლებელია რთული ოპერაციების დაყოფა ელემენტების მცირე ნაკრებად - true/false მნიშვნელობები და ზემოთ ოპერაციები.
ჭეშმარიტების ცხრილის საერთო გამოყენება
- სიმართლის ცხრილი არის მათემატიკური ცხრილი, რომელიც გამოიყენება ლოგიკაში.
- სიმართლის ცხრილის თითოეული მწკრივი შეიცავს შეყვანის ცვლადების ერთ შესაძლო კონფიგურაციას.
- სიმართლის ცხრილები შეიძლება გამოყენებულ იქნას ლოგიკური ეკვივალენტობის დასამტკიცებლად.
ჭეშმარიტების საერთო ბოროტად გამოყენების ცხრილი
- სიმართლის ცხრილები ამოწმებენ არის თუ არა ცხრილის ან მონაცემთა ბაზის მონაცემები სწორი.