Λογικές συναρτήσεις: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας
εσωτ συνδ
Γραμμή 1:
{{πηγές|04|11|2015}}
'''Λογικές συναρτήσεις''' ονομάζουμε εκείνες για τις οποίες μπορούμε να αποφασίσουμε αν είναι αληθείς ή όχι. Χειριζόμαστε τις λογικές προτάσεις στην συγγραφή [[λογισμικό|λογισμικού]] και στην [[προτασιακή λογική]].
Οι μεταβλητές που εκπροσωπούν λογικές προτάσεις ονομάζονται ''λογικές μεταβλητές''.
Οι [[συνάρτηση|συναρτήσεις]] που περιέχουν λογικές μεταβλητές λέγονται '''λογικές συναρτήσεις''' ή '''συναρτήσεις αληθείας'''.