結果 : application of propositional logic in computer science