2. Берілген формуланы «нормаланған түрге» келтіру деп аталатын, екінші тәсіл де бар.
Анықтама. Айнымалылардың және олардың терістеулерінің көбейтіндісі (қосындысы) элементар көбейтінді () (сәйкесінше элементар қосынды ()) деп аталады.
1 теорема . Элементар қосынды ақиқат болу үшін, оның құрамындағы қосындылардың кем дегенде бір қосында айнымалының өзі және оның терістеуінің болуы қажетті және жеткілікті.
YZX , мұндағы X.
2 теорема. Элементар көбейтінді жалған болу үшін, оның құрамындағы көбейткіштердің кем дегенде бір бір қосында айнымалының өзі және оның терістеуінің болуы қажетті және жеткілікті.
