Аннотация: Начиная с работ Дж.Буля, основоположника современной математической логики, внимание многих математиков девятнадцатого века было приковано к проблеме решения логических равенств. Наиболее значительных результатов в данной области добились Джон Венн (1834-1923), Стэнли Джевонс (1835-1882) и Эрнст Шредер (1841-1902), чьи результаты дополнил и существенно обобщил П.С.Порецкий. Он был первым в России, кто занялся математической логикой, и при этом его работы не только соответствовали уровню трудов европейских коллег, но и во многом превосходили его. Так, Луи Кутюра (1868-1914) писал о методах П.С.Порецкого, как о кульминационном пункте в развитии алгебры логики на тот период.