論理数学
【ろんりすうがく】
【ronrisuugaku】
布尔演算