1. In reduction systems, the state of a term which contains no reducible expressions.
Variants include head normal form, weak head normal form.
2. See database normalisation.
Normal form
New Casinos
Download the latest version of Dragon Tiger online casino APK for Android! Enjoy safe, free gameplay and unleash your luck in this thrilling card game.
Explore Mascot Gaming's top online casinos and gaming slots! Discover exciting bonuses, thrilling casino games, and the best mascot gaming slots for 2024!
Best online casino games on Banger.casino! Play on mobile apps or desktop and win real money. ✓ Get your welcome bonus +125% UP TO €250 right now!
Top Rated Casinos
Download the latest version of Dragon Tiger online casino APK for Android! Enjoy safe, free gameplay and unleash your luck in this thrilling card game.
Explore Mascot Gaming's top online casinos and gaming slots! Discover exciting bonuses, thrilling casino games, and the best mascot gaming slots for 2024!
Best online casino games on Banger.casino! Play on mobile apps or desktop and win real money. ✓ Get your welcome bonus +125% UP TO €250 right now!
