We have a symbology for denoting Boolean variables, and their complements.

• 我们利用象征学来表示布尔变量以及它们的补充。