Question

真值表的离散数学定义

Answer 1

真值表是含n(n1)命题变项的命题公式 ，共有组赋值将命题公式A在所有赋值之下取值的情况列成表，称为A的真值表。
构造真值表步骤
找出命题公式中所含的所有命题变项（若无下角标就按字典顺序给出），列出所有的可能的赋值（）； 按从低到高的顺序写出各层次； 对应每个赋值，计算命题公式各层次的值，直到最后计算出命题公式的值。