编写计算机真值表的步骤如下：
确定命题变项
找出命题公式中所含的所有命题变项。如果命题变项没有下角标，则按字典顺序给出。
列出所有可能的赋值
对于每个命题变项，可能取值为0或1。因此，对于n个命题变项，总共有2^n种不同的赋值组合。
按顺序写出各层次
将所有可能的赋值按从低到高的顺序排列，通常从000...0到111...1。
计算命题公式的值
对应每个赋值组合，计算命题公式在各层次的值，直到计算出最终结果。
组织真值表
将计算结果列成表格，表格的每一行对应一种赋值组合，每一列对应命题公式的一个层次或最终结果。
示例
假设有两个命题变项A和B，我们要编写一个加法运算的真值表：
确定命题变项
A, B
列出所有可能的赋值
00, 01, 10, 11
按顺序写出各层次
第一列：A的最低位，第二列：B的最低位
计算命题公式的值
00 -> A=0, B=0 -> C=0+0=0
01 -> A=0, B=1 -> C=0+1=1
10 -> A=1, B=0 -> C=1+0=1
11 -> A=1, B=1 -> C=1+1=0（进位）
组织真值表
```
A | B | C
--+---+---
0 | 0 | 0
0 | 1 | 1
1 | 0 | 1
1 | 1 | 0
```
通过以上步骤，我们可以清晰地列出加法运算的真值表。
编写算法
编写真值表的算法可以通过以下步骤实现：
1. 确定逻辑表达式的变量数n，真值表的行数为2^n。
2. 使用嵌套循环生成所有可能的输入组合，外层循环控制行数，内层循环控制变量数。
3. 对于每个输入组合，计算逻辑表达式的结果，可以使用if语句或逻辑运算符来实现。
4. 将结果输出到真值表中，可以使用二维数组或其他数据结构来存储真值表。
5. 打印真值表的内容，可以使用循环遍历真值表并逐行输出。
示例代码（C++）
```cpp
include include void printTruthTable（const std::vector for （const auto& row : table） { for （bool value : row） { std::cout << （value ？ "1" : "0"） << "\t"； } std::cout << std::endl； } } int main（） { int numVariables = 2； int numRows = 1 << numVariables； std::vector for （int i = 0； i < numRows； ++i） { for （int j = 0； j < numVariables； ++j） { truthTable[i][j] = （i & （1 << j）） != 0； } } printTruthTable（truthTable）； return 0； } ``` 这个代码示例生成并打印了一个包含两个命题变项的真值表，其中每个命题变项的可能取值为0或1。通过这种方式，可以快速生成任意逻辑表达式的真值表。