Графические представления и примеры формул для упрощения в математической логике