There are a lot of answers that suggest that correspondance between 1 and true is necessitated by some mathematical property. I can't find any such property and suggest it is purely historical convention.
Given a field with two elements, we have two operations: addition and multiplication. We can map Boolean operations on this field in two ways:
Traditionally, we identify True with 1 and False with 0. We identify AND with * and XOR with +. Thus OR is saturating addition.
However, we could just as easily identify True with 0 and False with 1. Then we identify OR with * and XORXNOR with +. Thus AND is saturating addition.