Ε4. Ελαχιστοποίηση λογικών συναρτήσεων