proposition calculus

[ریاضیات] جبر گزاره ها