有一些可能的符号K, A, N, C, E, p, q, r, s, t 。一个合式公式是符合以下条 件的字符串： • p, q, r, s, 和t 是合式公式 • 如果w 是合式公式，Nw 是合式公式 • 如果w 和x 是合式公式，Kwx, Awx, Cwx, 和Ewx 是合式公式。-There are some of the possible symbols K, A, N, C, E, P, Q, R, S T. A well-formed f