X+X′Y;(X代表:X的否定)
= X * 1+X′Y;(反身份;*代表:和運算符)
= X *(Y+Y′)+X′Y;(排中律反轉)
=(XY+XY’)+X’Y;(分布規律)——如果熟悉的話,前三步可以壹步到位;而此時,我們應該能看到它等於(X+Y)——它們都等於:1-X‘Y’;
=(XY+XY′)+(XY+X′Y);(逆冪等定律、交換律、結合律)
= X+Y;(反分配定律、排中律、不變定律)
第三種方法:如果妳熟悉邏輯表達式的值與邏輯命題的真值(或邏輯電路的通斷)之間的關系,可以這樣做:
X+X'Y:表示X為真,此時對Y沒有要求(即Y為真為假);或者x為假,這種情況下y壹定為真;簡而言之:X和Y至少有壹個為真(即允許兩個都為真)。
顯然,這就是OR運算的定義;也就是相當於x+y。