Στην επιστήμη των υπολογιστών, οι λογικές συναρτήσεις είναι εκφράσεις ή πράξεις που χειρίζονται τις δυαδικές τιμές (true ή false). Αυτές οι συναρτήσεις μπορούν να αναπαρασταθούν χρησιμοποιώντας πίνακες αλήθειας, οι οποίοι παρέχουν έναν συστηματικό τρόπο εμφάνισης όλων των δυνατών συνδυασμών εισόδου και των αντίστοιχων εξόδων τους. Κάθε γραμμή σε έναν πίνακα αλήθειας αντιπροσωπεύει έναν μοναδικό συνδυασμό τιμών εισόδου και η στήλη εξόδου δείχνει το αποτέλεσμα της εφαρμογής της λογικής συνάρτησης σε αυτές τις εισόδους.
Αυτός ο πίνακας αλήθειας δείχνει όλους τους πιθανούς συνδυασμούς εισόδων για τη συνάρτηση AND και τις προκύπτουσες εξόδους τους. Η συνάρτηση AND επιστρέφει true μόνο όταν και οι δύο είσοδοι είναι αληθείς. διαφορετικά, επιστρέφει ψευδής.