DeMorgan
self
<> DeMorgan :: DeMorgan's Law :: reciproke relation between AND-OR -
DeMorgan
!(!a && !b) = a || b
!(!a || !b) = a && b
OR AND
a b c a b
0 OR 0 = 0 0 AND 0 = 0
0 OR 1 = 1 0 AND 1 = 0
1 OR 0 = 1 1 AND 0 = 0
1 OR 1 = 1 1 AND 1 = 1
!a !b c !a !b c
1 OR 1 = 1 1 AND 1 = 1
1 OR 0 = 1 1 AND 0 = 0
0 OR 1 = 1 0 AND 1 = 0
0 OR 0 = 0 0 AND 0 = 0
c -> !c c -> !c
1 -> 0 1 -> 0
1 -> 0 0 -> 1
1 -> 0 0 -> 1
0 -> 1 0 -> 1
a AND b a OR b
0 AND 0 = 0 0 OR 0 = 0
0 AND 1 = 0 0 OR 1 = 1
1 AND 0 = 0 1 OR 0 = 1
1 AND 1 = 1 1 OR 1 = 1
|