פישוט פונקציות לוגיות