[ Lub-Hom-Phiaj ] boolean

var x := Lub-Hom-Phiaj.
Stdout sau-ntawv: x boolean, tsum.
Muaj-tseeb