A Boolean Redundancy Law (F = A + 0)