ΠΛΗ20 ΜΑΘΗΜΑ 2.3 - ΝΟΜΟΙ ΠΡΟΤΑΣΙΑΚΗΣ ΛΟΓΙΚΗΣ - ΕΦΑΡΜΟΓΗ 1

1) Νόμοι Προτασιακής Λογικής
1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.
2) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς
2.3) Πλήρη Σύνολα Συνδέσμων
Ασκήσεις

[maxhmetonxrono]

Εκεί στο 11:44 λίγο δυσκολεύτηκα να το κάνω μόνος βέβαια, το εξηγείς πολύ ωραία με τον αστερίσκο που έβαλες στο ίσον, δεν ξέρω γιατί με μπερδεύει τόσο το έφτασα μόνος μέχρι το σημείο n(φ) +1 n(ψ) +1 και μετά λέω μα αυτό κάνει n(φ) + n(ψ) +2 και κόλλησα αλλά τελικά το κατάλαβα θέλουμε να φτιάξουμε το n(φ&&ψ)+1 και απλά κάνουμε αντικατάσταση και το φέρνουμε εκεί που θέλουμε εμείς σε ευχαριστώ!