Распределительный закон алгебры логики: доказательства и примеры