How can it be proven that -LSB- math -RSB- x + y = x \ times y = \ frac -LCB- x -RCB- -LCB- y -RCB- -LSB- / math -RSB- ?
Boolean Logic : how can i prove that x AND y = NOT -LRB- NOT -LRB- x -RRB- OR NOT -LRB- y -RRB- -RRB- ?