A + 0 = A | A · 1 = A | A + 1 = 1 | A · 0 = 0 A + A = A | A · A = A | A + A' = 1 | A · A' = 0 (A')' = A | A + A·B = A | A · (A+B) = A A + A'·B = A + B | A·B + A·B' = A A·B = A + B | A+B = A · B F(A,B,C) = Σm(1,2,4,7) = A'·B'·C + A'·B·C' + A·B'·C' + A·B·C