Логикалық эквиваленттіліктер және олардың қолданылуы. Дизъюнктивті және конъюнктивті қалыпты формалар. Логикалық амалдардың толықтығы.