“discrete math turth values”