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

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

[BlackNWhiter]

7:40 όταν έκανα De Morgan, δεν έπρεπε και τα 2 μέρη να επηρεαστούν; αριστερά και δεξιά του OR, εδώ άλλαξε μόνο το δεξί κομμάτι Φκ+1