排中律的公式可以是：并非A 不是非A。

矛盾律的公式可以是：A 不是B。

判断题矛盾律的公式可以是：A 不是B。

规范模态命题无确定的逻辑值，但存在可行与不可行的问题。

判断题规范模态命题无确定的逻辑值，但存在可行与不可行的问题。

真值模态命题有确定的逻辑值。

判断题真值模态命题有确定的逻辑值。