pub fn maj_1(a: u1, b: u1, c: u1) -> u1
Bitwise MAJORITY of three 1-bit values. The output bit is false if two or more input bits are false, and true otherwise.