程序逻辑可以用以下几种图来标识：
梯形图 （LAD）：
梯形图是PLC编程的“入门级”语言，它通过左右两条竖线和中间的横线组成，其中左边的竖线代表电源的正极，右边的竖线代表负极，中间的横线则是程序逻辑。
功能块图 （FBD）：
功能块图是一种图形化的逻辑表达方式，通过不同的符号和连接线展示程序中不同代码块之间的关系。
结构化文本 （SCL）：
结构化文本也是一种用于PLC编程的图形化语言，它使用类似于编程语言的语法和结构来表示程序逻辑。
流程图：
流程图是最常见的一种编程逻辑图，通过使用各种符号（如矩形、菱形、圆角矩形等）和箭头来表示程序中的不同操作步骤和条件判断，可以清晰地展示程序的执行流程。
Nassi-Shneiderman图：
这是一种结构化程序设计的表示方法，通过块状框图表示程序的不同模块或函数，并使用箭头表示模块之间的关系。
UML时序图：
UML时序图是一种用于描述程序中对象之间时序关系的图形化工具，可以展示对象之间的交互顺序和逻辑关系。
结构化图：
结构化图是一种层次化的编程逻辑图，通过矩形框表示程序的不同模块或函数，并使用箭头表示模块之间的调用关系。
数据流图 （DFD）：
数据流图是一种描述程序或系统中数据流动的图形化工具，通过箭头和数据流符号表示数据的输入、输出和处理过程。
状态转换图：
状态转换图用于描述程序在不同状态之间的转换过程，通常用于状态机的设计。
活动图：
活动图用于描述程序中一系列活动的执行顺序和关系，可以用于业务流程或算法的可视化。
根据具体的编程需求和习惯，可以选择合适的图形工具来绘制程序逻辑图，以便更好地理解和设计程序的逻辑流程。例如，Microsoft Visio和draw.io等工具都可以用来绘制这些图形。