Consensus Theorem ○◂｜_append｜___｜20260628155835-01-•

Variable inputs	…	…	Function values	…
x	y	z	$xy\vee \bar{x}z\vee yz$	$xy\vee \bar{x}z$
0	0	0	0	0
0	0	1	1	1
0	1	0	0	0
0	1	1	1	1
1	0	0	0	0
1	0	1	0	0
1	1	0	1	1
1	1	1	1	1

(echo:: @ ᯤ)