- Operacje
a) Suma logiczna jest równa jedności, gdy którykolwiek z składkików jest równy jedności. Suma argumentów a+b zapisuje się a+b.
a + b = ? 0 + 0 = 0 1 + 0 = 1 1 + 1 = 1 1 + 1 + 1 = 1
b) Iloczyn logiczny jest równy jedności, gdy wszystkie czynniki są równe jedności. a * b = ? 0 * 0 = 0 0 * 1 = 0 1 * 1 = 1
c) Negacja jest działaniem jednoargumentowym i jest równa jedności, gdy argument ma wartość 0. W tym przykładzie znak ’!’ oznacza negacje.
a = 0 !a = 1 !0 = 1 !1 = 0
Prawa algebry Bool’a
a) a + b = b + a a ( b + c ) = ab + ac ( a + b ) + c = a + ( b + c )
a + 0 = a
a + 1 = 1
a + !a = 1
b) a * b = b * a (ab)c = a(bc)
a * 1 = a
a * 0 = 0
a * !a = 0
c) a + ac = a a + !a = a + b
a + a = a
!a +!b = !a!b
a(a+b) = a
a(!a + b) = ab
a * a = a
!a*!b = !a+!b
a+b = a!b + !ab
a*b = ab + !a!b