Κατανόηση των Implicants σε Boolean Συναρτήσεις

Τα συνεπακόλουθα είναι ένας τρόπος αναπαράστασης των λογικών σχέσεων μεταξύ μεταβλητών σε μια Boolean συνάρτηση. Στην ουσία, μια εμπλοκή είναι ένα υποσύνολο μεταβλητών που καθορίζει λογικά την τιμή μιας άλλης μεταβλητής. :

1. {x,y} - Αυτό το υπονοούμενο υπονοεί ότι το z πρέπει να είναι αληθές, γιατί αν το x και το y είναι και τα δύο αληθή, τότε το z πρέπει επίσης να είναι αληθές.
2. {z} - Αυτό το υπονοούμενο υπονοεί ότι τα x και y πρέπει να είναι ψευδή, γιατί αν το z είναι αληθές, τότε το x και το y πρέπει να είναι ψευδές.
3. {x,z} - Αυτό το υπονοούμενο υποδηλώνει ότι το y πρέπει να είναι ψευδές, γιατί αν το x και το z είναι και τα δύο αληθή, τότε το y πρέπει να είναι ψευδές. Σε αυτήν την περίπτωση, μπορούμε να αφαιρέσουμε τον όρο z από τη συνάρτηση, επειδή υπονοείται ήδη από τις άλλες δύο προτάσεις. Επομένως, η απλοποιημένη συνάρτηση θα ήταν:

f(x,y) = x ∧ y

Αυτό είναι απλώς ένα απλό παράδειγμα, αλλά η έννοια των εμφυτευμάτων μπορεί να εφαρμοστεί και σε πολύ πιο σύνθετες συναρτήσεις.

Συνοπτικά, τα εμφυτεύματα είναι ένας τρόπος αναπαράστασης λογικές σχέσεις μεταξύ μεταβλητών σε μια συνάρτηση Boolean και μπορούν να χρησιμοποιηθούν για την απλοποίηση της συνάρτησης αφαιρώντας περιττές μεταβλητές ή/και προτάσεις.