Βοήθεια στον προτασιακό λογισμό

[Tsipouro]

Έχω 3 προτάσεις (προτασιακές μεταβλητές), p: "Το φαγητό είναι καλό", q: "Η εξυπηρέτηση είναι καλή", r: "Η βαθμολογία είναι 3 αστέρια". Θέλω να σχηματίσω τον προτασιακό τύπο "Είτε το φαγητό είναι καλό, είτε η εξυπηρέτηση είναι καλή, αλλά όχι και τα 2" (NAND) χρησιμοποιώντας μόνο τους συνδέσμους της άρνησης, της σύζευξης και της διάζευξης. Τελικά, κατέληξα στον τύπο "άρνηση(p σύζευξη q)" που από κανόνα De Morgan γίνεται και "(άρνηση p) διάζευξη (άρνηση q)". Είμαι σωστός; Αν γίνεται, να απαντηθει λίγο σύντομα.

Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.

 

[fandago]

Το σωστό είναι (p ένωση q) τομή (άρνηση [p τομή q]) αν θέλεις μόνο με αυτά αλλιώς είναι (p ένωση q) μείον (p τομή q).

Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.

 

[Tsipouro]

Δεν είναι σύνολα fan, προτάσεις είναι.


Α, εννοείς κάτι σε: (p διάζευξη q) σύζευξη [άρνηση ( p σύζευξη q)]; Πάω να κάνω πίνακα αλήθειας και επανέρχομαι.


Thx για το ενδιαφέρον.

Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.

 

[Bill]

Ουσιαστικά αυτό που έχεις δεν είναι μία xor;
( A AND B' ) OR ( A' AND B)
Mε τα σύμβολα σου -> ( p AND q' ) OR ( p' AND q)

Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.

 

[Rempeskes]

"Η βαθμολογία είναι 3 αστέρια"

...Αυτό που κολλάει σε αυτό που ζητάς?

Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.

 

[Tsipouro]

Ουσιαστικά αυτό που έχεις δεν είναι μία xor;
( A AND B' ) OR ( A' AND B)
Mε τα σύμβολα σου -> ( p AND q' ) OR ( p' AND q)

Α γειά σου ρε Bill, μπέρδεψα τη xor με τη nand πριν.


@Rempeskesd: Ήμουν αφηρημένος και έγραψα όλο το τμήμα της εκφώνησης που με αφορούσε χωρίς να προσέχω.

Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.

 

[Rempeskes]

Ήμουν αφηρημένος και έγραψα όλο το τμήμα της εκφώνησης που με αφορούσε χωρίς να προσέχω.

Πάλι καλά που δεν πας για τεχνικός σε πυρηνικό αντιδραστήρα...

Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.