工作䷱

逻辑图•形式化开发

逻辑解释•PNG

实体解释

实体解释

存在解释

存在解释

逻辑解释•LaTeX

实体解释

\开始{数组}{ccccc}\mathrm{I_1}&：&\text{true}~\text{或}~\text{true}&=&\text{true}\\[4pt]\mathrm{I_2}&：&\text{not}~\ttext{true}}&：&（a~\text{或}~b）~\text}和}~（a~\t或}~c）&=&a~\text{或}~（b~\text}和}~c）\end{array}

存在解释

\begin｛array｝｛ccccc｝\mathrm｛I_1｝&：&&\text｛false｝~\text｛and｝~\text｛false｝&=&&\text｛false｝\\[4pt]\mathrm｛I_2｝&：&&\text｛not｝~\text｛false｝&=&&\text｛true｝\\[4pt]\mathrm｛J_1｝&：&a~\text｛and｝~\text｛not｝~a&=&&\text｛false｝\\[4pt]\mathrm｛J_2｝&：&（a~\text｛and｝~b）~\text｛或｝~（a \\ text｛and｝\c）&=&a~\text{和}~（b~\text}或}~c）\end{array}