逻辑中“合式公式”等处的“公式”是指：

以下谓词公式中，（）不是逻辑有效式 逻辑代数的基本公式和常用公式中同一律A+0=A,A×1=A（） 公式中（）处可以转行？ 公式化简法就是运用逻辑代数中的各种定理、公式以及运算规则把逻辑表达式加以简化的方法。 形式逻辑中的同一律公式是（） 逻辑代数的基本公式和常用公式中同一律A+0=A，Ax1=A（） 形式逻辑中的同一律的公式是（）。 形式逻辑中的同一律的公式是()。   有价卡自平衡校验逻辑公式是“（）”。 命题公式A与命题公式B是等价的，是指 . 以下逻辑公式中，（）是（~p∨~q）Þ（pÛ~q）的主析取范式 常用的逻辑函数化简公式包括（ ）。 计算公式是指对报表数据单元进行赋值的公式，是必须定义的公式。() 计算公式是指对报表数据单元进行赋值的公式，是必须定义的公式（） 公式EH=KHIBcosθ 中的角θ 是指______ 公式EH=KHIBcosθ中的角θ是指()。 换热器的效率公式：ε=QQmax，公式中Qmax一般指换热量（） 审核公式中不可以使用“大于>”“小于 在公式法化简逻辑函数时常用（）。 ﹁P∨Q∧R®S是以下哪个合式公式的简化形式（）