对任一逻辑式Y，若将其中所有的与换成或，或换成与，换成，换成，原变量换成反变量，反变量换成原变量，则得到的结果就是Y的对偶式