Added by MathMaster on May 17, 2001 at 23:54:05:
In mathematical logic
Nand = !(a and b)
Nor = !(a or b)
you can use the Nand or the Nor to represent all the logical operator (and, or, and not)
1. let us write !(a and b) as (a|b), then:
Nand(a and b) = ( (a|b) | (a|b) )
Nand(a or b) = ( (a|a) | (b|b) )
Nand(not a) = (a|a)
2. let us write !(a or b) as (a$b), then:
Nor(a and b) = ( (a$a) $ (b$b) )
Nor(a or b) = ( (a$b) $ (a$b) )
Nor(not a) = (a$a)