Majority function

Describe the new page here.

When it is exactly one literal giving that clause a value 1, still it is 3-SAT.

When two out of three - in XOR-SAT that clause becomes false making expression = 0.

With all three giving value 1 - again clause becomes 1 and it is still satisfying 3-SAt