DU2 2022 nand
Completion requirements
Opened: Friday, 14 October 2022, 12:00 AM
Due: Friday, 21 October 2022, 12:00 AM
Moje př. 2/3.
Ukažte, že \(\{\uparrow\}\) , tj. pouze spojka nand, tvoří univerzální množinu spojek. Víme, že \( p\uparrow q \sim \neg(p \wedge q )\).