Равносильные формулы: понятие и примеры