doğruluk değeri çözümlemesi anlamı İng. truth-value analysis
Verilen bir bileşik önermenin, yalınç bileşenlerinin bütün değerlemelerine karşılık aldığı doğruluk değerlerinin bulunması işlemi.