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