程序判断公式的写法主要涉及到以下几个方面：
基本观点
单个命题常项或变项是合式公式。
如果A是合式公式，则A的任意组合（如P∧Q、P∨Q、P￫Q、P？Q）也是合式公式。
合式公式只能有限次地应用命题变元、联络词和括号的符号串。
程序思路
空表达式：不是合式公式，返回NO。
单个符号：当且仅当此符号为命题符号时，它是一个合式公式。
长度大于1的表达式：必须以“（”开头，否则不是合式公式，返回NO。
包含否定的表达式：U必须是可以匹配（｢V）模式的表达式，其中V是一个合式公式。
一般表达式：U必须符合（A*B）模式，其中A和B都是合式公式。
具体判断方法
从左向右扫描表达式，遇到“（”停止，其中A是一个含有相同数目的“（”和）”的表达式。
从右向左扫描表达式，确保每个“（”都有对应的“）”。
递归地判断子表达式是否为合式公式。
示例公式
判断一个数x是否为另一个数y的倍数：
```
if x % y == 0:
x是y的倍数
else:
x不是y的倍数
```
判断条件是否满足，并返回相应的结果：
```
IF（B3>=6,"合格","不合格"）
```
自定义报错结果：
```
IFERROR（C2,"自定义"）
```
这些方法和示例公式可以帮助你编写程序来判断一个表达式是否为合式公式，或者判断一个数是否为另一个数的倍数，以及其他条件判断。根据具体的应用场景，你可以选择合适的判断方法和公式。