Data una proposizione A ed una B se A implica B ho letto che equivale a not A or B;ho letto anche che quest'ultima alternazione è equivalente a not(not A and not B). Ho verificato che questo è vero ma mi domando se i connettivi logici implicazione, or possano essere tutti scritti col connettivo and. Grazie
5
punti
Livello 0
Gli insiemi $\left\{ \neg ,\vee \right\}$ e $\left\{ \neg ,\wedge \right\}$ così come i singleton dei connettivi $\text{NAND}$ e $\text{NOR}$ sono minimali e funzionalmente completi. Questo significa che ogni funzione booleana $f:\left\{ 0,1 \right\}^{n}\mapsto \left\{ 0,1 \right\}$ può essere rappresentata da una formula contenente esclusivamente i connettivi negli insiemi che ho elencato. Sono minimali nel senso che, se si toglie uno dei loro connettivi, non si riescono più a rappresentare tutte le funzioni booleane.
1412
punti
Livello 3
No.
Gl'insiemi minimi singleton sono solo NOR e NAND.
57798
punti
Genius I
