"truth function" Deutsche bedeutung