真值表可以用来证明逻辑公式吗

可以证明逻辑公式。

与-或式；与非-与非式；与或非式；或非-或非式。

布尔代数法：按一定逻辑规律进行运算的代数。与普通代数不同，布尔代数中的变量是二元值的逻辑变量。

真值表法：采用一种表格来表示逻辑函数的运算关系，其中输入部分列出输入逻辑变量的所有可能组合，输出部分给出相应的输出逻辑变量值。

表征逻辑事件

输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。