A clause on $k$ distinct variables is satisfied by at least a $1 - 2^{-k}$ fraction of assignments

Initializing...

A clause on $k$ distinct variables is satisfied by at least a $1 - 2^{-k}$ fraction of assignments · Prove2Me