DU2 2022 nand
Требуемые условия завершения
Opened: пятница, 14 октября 2022, 00:00
Due: пятница, 21 октября 2022, 00:00
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 )\).