Quine yöntemiyle doğruluk değeri çözümlemesi

Bir bileşik önermede en çok geçen yalınç bileşeni bir kez D bir kez de Y değeri ile değiştirip elde edilen her önermeyi yaIınlaştırma kuralları yardımıyla eşdeğer olarak (i) D ye (ii)Y ye, ya da(iii) ne D ne de Y yi kapsayan bir önermeye dönüştürme işlemini yalnız D ile Y kalana dek sonlu sayıda yinelemeye dayanan doğruluk değeri çözümlemesi. || Krş.. yalınlaştırma kuralları. Örn. (p=>q) (...) biçimindeki bir önermenin Quine yöntemiyle doğruluk değeri çözümlemesi şöyledir: (?)