منطق صوری
formal logic
جبر بولی
Boolean algebra
Boolean lattices
جبر
algebra
نظریه سودهی
switching theory
Boolean function
تابع بولی
نظریه مجموعه‌ها
set theory