thumb|right|350px|Capture d’écran de Freedoom : reproduction libre de Doom utilisant également le raycasting. Le raycasting est une technique de calcul d'images de synthèse 3D, facilement accélérée matériellement par une carte graphique dédiée. L'accélération peut se faire en utilisant l'API OpenGL, Glide (tombé en désuétude), ou Direct3D. Elle a été utilisée avec succès au début des années 1990 dans les jeux vidéo comme Wolfenstein 3D ou Doom. L'implémentation était alors entièrement logicielle et ne faisait pas appel à du matériel spécifique.
vignette|upright=1.5|Exemple d' montrant la réfraction dans cinq milieux différents : dans l'air, dans le liquide bleu, dans le liquide rouge, dans le verre et dans le tube de plastique (les images sont déformées par le changement d'indice optique). Le lancer de rayons, ou lancer de rayon, également appelé ray tracing, est une technique de calcul d'optique par ordinateur, utilisée pour le rendu en ou pour des études de systèmes optiques.
vignette|implicit surface torus (R=40, a=15) vignette|implicit surface of genus 2 150px|vignette|implicit non algebraic surface (wineglas) vignette|equipotential surface of 4 point charges 400px|vignette|metamorphoses between two implicit surfaces (torus and a constant distance product surface) 240px|vignette|approximation of three tori (parallel projection) 280px|vignette|PovRay-image (central projection) of an approximation of three tori 400px|vignette|PovRay-Bild: metamorphoses between a sphere and a cons
En logique booléenne ou en calcul des propositions, une forme normale disjonctive ou FND (en anglais, disjunctive normal form ou DNF) est une normalisation d'une expression logique qui est une disjonction de clauses conjonctives. Elle est utilisée dans la démonstration automatique de théorèmes. Une expression logique est en FND si et seulement si elle est une disjonction d'une ou plusieurs conjonctions d'un ou plusieurs littéraux. Tout comme dans une forme normale conjonctive (FNC), les seuls opérateurs dans une FND sont le et logique, le ou logique et la négation.
En logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL). Une expression logique est en FNC si et seulement si elle est une conjonction d'une ou plusieurs disjonction(s) d'un ou plusieurs littéraux.
