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