2.5. Video A Boolean Redundancy Law F = A Or Not(A)
"Or'ing" a variable with its "Not'ed" version always gives one. This video shows why this is the case. The understanding of this axiom is key to understanding many theorems covered later in the playlists.