a|b a&b b&a|c (b&a)|c b&(a|c) a&1|0&b 1&a|b&0 a|1|b|0 a&1&b&0 a&b&c&d a&b&c|d a&b|c&d a&b|c|d a|b&c&d a|b&c|d a|b|c&d a|b|c|d