离散数学-----生成真值表

第1关：创建语义对象

本关任务：完成命题逻辑合式公式语法元素对应语义对象的建模。

class Proposition:
    def __init__(self, name):
        # 请删除下面的pass后完成Proposition类的初始化
        self.name = name
        self.value = None


    def __eq__(self