слева написано что для всех путей начинающихся с данногоо состояния в конце концов будет состояние в котором р верно а справа что для данного состояния либо р верно в данном состоянии, либо для всех путей верно что в следующем состоянии верно тоже выражение что и слев т.е. либо р верно прямо щас, либо в конце концов для всех путей будет состояние в котором оно верно