Diffusion des rayons XLa diffusion des rayons X (X-ray scattering en anglais) est une technique d'analyse basée sur la diffusion des ondes de rayons X par une substance. Alors que la diffraction des rayons X ne peut être utilisée qu'avec des substances cristallines, la diffusion des rayons X peut être utilisée pour des substances cristallines ou amorphes. La diffusion des rayons X est basée sur l'interaction des rayons X avec les électrons des atomes. La diffusion des rayons X peut être élastique ou inélastique.
Cimentvignette|Du ciment, fourni en sac, prêt à être mélangé avec de l’eau et des granulats. Le ciment est un liant hydraulique (qui durcit sous l'action de l'eau), utilisé dans la préparation du béton, et aujourd'hui le plus souvent employé dans la confection des dallages, des parpaings, des enduits et des mortiers. Le principe est de chauffer à très haute température du calcaire et de l'argile pour former des nodules de silicates de calcium, le clinker. Ceux-ci sont ensuite broyés finement.
Lessive (détergent)vignette|Lessive en poudre Originellement, la lessive (du latin lixiva : « eau pour la lessive ») désignait l'eau de lavage ou l'action de laver du linge, puis le linge lui-même : on fait la lessive dans une buanderie, une laverie, au lavoir, à la main, dans une lessiveuse ou dans une machine à laver, aussi appelée lave-linge. La lessive désigne également le mélange liquide ou solide de produits chimiques utilisés pour le lavage domestique ou industriel. L'action nettoyante est notamment assurée par des produits détersifs comme le savon.
Forme normale disjonctiveEn 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.
Forme normale conjonctiveEn 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.
