φE истинныйложный