Informasi yang berkaitan dengan Bentuk normal (deduksi alami)