Description: Triple xor can be replaced with a triple biconditional. Unlike \/_ , you cannot add more inputs by simply stacking up more biconditionals, and still express an "odd number of inputs". (Contributed by Wolf Lammen, 24-Apr-2024)
Ref | Expression | ||
---|---|---|---|
Assertion | wl-3xorbi |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | wl-df3xor2 | ||
2 | df-xor | ||
3 | xor3 | ||
4 | xnor | ||
5 | 4 | bibi2i | |
6 | 3 5 | bitr4i | |
7 | 1 2 6 | 3bitri |