Informasi yang berkaitan dengan ja/Propositional formula