generated at
真理値
truth value

古典的にはBoole代数