Στην επιστήμη των υπολογιστών, οι λογικές συναρτήσεις είναι θεμελιώδεις πράξεις που χρησιμοποιούνται για τον χειρισμό των Boolean τιμών (true ή false).
Αυτές οι συναρτήσεις λειτουργούν σε μία ή περισσότερες εισόδους Boolean και παράγουν μια Boolean έξοδο με βάση ορισμένους κανόνες ή συνθήκες.
AND Function : Αυτή η συνάρτηση επιστρέφει true εάν και μόνο εάν όλες οι είσοδοι της είναι αληθείς. Στον προγραμματισμό, συχνά αντιπροσωπεύεται από τον τελεστή &&. result = (x > 5) and (y < 10)
Συνάρτηση OR : Η συνάρτηση OR επιστρέφει true εάν τουλάχιστον μία από τις εισόδους της είναι αληθής. Αντιπροσωπεύεται από το || χειριστή σε γλώσσες προγραμματισμού.
result = (x > 5) or (y < 10)
NOT Function : Η συνάρτηση NOT (ονομάζεται επίσης άρνηση) απλώς αναστρέφει την τιμή Boolean εισόδου. Εάν η είσοδος είναι αληθής, επιστρέφει ψευδής και αντίστροφα. Σε πολλές γλώσσες προγραμματισμού, αντιπροσωπεύεται από το !.
result = not (x > 5)
Συνάρτηση XOR : Το Exclusive OR (XOR) επιστρέφει true εάν και μόνο εάν ακριβώς μία από τις εισόδους του είναι αληθής. Στον προγραμματισμό, αντιπροσωπεύεται από τον τελεστή ^.
result = (x > 5) ^ (y < 10)
Λειτουργία NAND : Το NAND σημαίνει NOT AND. Επιστρέφει true εάν τουλάχιστον μία από τις εισόδους του είναι false. Στον προγραμματισμό, συνήθως υλοποιείται συνδυάζοντας τις λειτουργίες AND και NOT.
result = not ((x > 5) and (y < 10))
Λειτουργία NOR : NOR σημαίνει NOT OR. Επιστρέφει true μόνο όταν όλες οι εισροές του είναι ψευδείς. Στον προγραμματισμό, μπορεί να υλοποιηθεί συνδυάζοντας τις πράξεις OR και NOT.
result = not ((x > 5) or (y < 10))
Οι λογικές συναρτήσεις είναι απαραίτητες για τον έλεγχο της ροής του προγράμματος, τη λήψη αποφάσεων και την εφαρμογή διαφόρων αλγορίθμων.
Χρησιμοποιούνται επίσης εκτενώς στον ψηφιακό σχεδιασμό λογικής για την κατασκευή πολύπλοκων κυκλωμάτων.