编写真值表通常涉及以下几个步骤：
确定逻辑表达式的变量数
确定你要处理的逻辑表达式中有多少个变量。例如，一个2位二进制数有2个变量（bit0和bit1）。
确定真值表的行数
真值表的行数等于2的变量数次幂。例如，对于2个变量，真值表将有2^2 = 4行。
生成所有可能的输入组合
使用嵌套循环来生成所有可能的输入组合。外层循环控制行数，内层循环控制每个变量的值（通常是0和1）。
计算逻辑表达式的结果
对于每个输入组合，根据逻辑表达式计算结果。这可以通过位运算符（如与、或、异或等）来实现。
存储和输出真值表
将输入组合和对应的输出值存储在一个二维数组或其他数据结构中。然后，可以遍历这个数据结构并逐行输出真值表。
下面是一个简单的Python示例，用于生成一个2位二进制数的全加器的真值表：
```python
def full_adder（a, b, cin）:
sum = （a ^ b） ^ cin
carry = （a & b） | （（a ^ b） & cin）
return （sum, carry）
def generate_truth_table（num_bits）:
for a in range（2num_bits）:
for b in range（2num_bits）:
for cin in range（2num_bits）:
sum, carry = full_adder（a, b, cin）
print（f"a={a}, b={b}, cin={cin} => sum={sum}, carry={carry}"）
生成2位二进制数的全加器的真值表
generate_truth_table（2）
```
在这个示例中，`full_adder`函数实现了1位全加器的逻辑运算，`generate_truth_table`函数则用于生成所有可能的输入组合，并调用`full_adder`函数计算对应的输出值。
对于更复杂的逻辑表达式，可以使用类似的方法，但可能需要更复杂的逻辑运算和更多的变量。此外，还可以使用现有的工具或库来辅助生成真值表，例如使用Stateflow等工具。