Логика и математика: доказательство распределительного закона для логического сложения