Boolean algebra
جبر بولی
Boolean function
تابع بولی
switching function
تابع سودهی
تابع
function
ارزیابی تابع
function evaluation
منطق صوری
formal logic