真理 しんり関数 かんすう
shinrikansū

Noun

1. truth-function