جدول الحقيقة هو جدول رياضي مستخدم في المنطق تحديدا في الجبر البولياني، وحساب القضايا لحساب القيم الوظيفية من التعبيرات المنطقية على الحجج، على كل مجموعة من القيم التي تتخذها متغيراتها المنطقية على وجه الخصوص، ([1] Enderton, 2001) وجداول الحقيقة يمكن أن تستخدم لمعرفة ما إذا كان التعبير المعطى صحيح لجميع مدخلات القيم.
قراءة إضافية
- Bocheński, Józef Maria (1959), A Précis of Mathematical Logic, translated from the French and German editions by Otto Bird, Dordrecht, South Holland: D. Reidel.
- Enderton, H. (2001). A Mathematical Introduction to Logic, second edition, New York: Harcourt Academic Press.
- ويلارد فان أورمان كواين (1982), Methods of Logic, 4th edition, Cambridge, MA: Harvard University Press.
روابط خارجية
- Hazewinkel, Michiel, المحرر (2001), "Truth table", Encyclopedia of Mathematics, سبرنجر,
- Truth Tables, Tautologies, and Logical Equivalence
- PEIRCE'S TRUTH-FUNCTIONAL ANALYSIS AND THE ORIGIN OF TRUTH TABLES by Irving H. Anellis
- Converting truth tables into Boolean expressions
مراجع
- Enderton, H. (2001). A Mathematical Introduction to Logic, second edition, New York: Harcourt Academic Press.