真理関数_truth_function