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