我正在研究这个问题，其中命题逻辑公式表示为：
datatype fmla =
F_Var of string
| F_Not of fmla
| F_And of fmla * fmla
| F_Or of fmla * fmla
我正在尝试编写一个返回命题逻辑公式大小的函数。命题变量的大小为 1；逻辑非的大小为 1 加上其子公式的大小；逻辑合取和逻辑析取的大小为 1 加上其子公式的大小。
我将如何尝试解决这个问题？