منطق صوری
formal logic
Boolean algebra
جبر بولی
switching function
تابع سودهی
پالایه انباشته
stack filter
نمودار تصمیم
decision diagram
functions
تابع
تابع بولی
Boolean function