Zum Hauptinhalt
DL 1
  • Startseite
  • Kalender
  • More
Deutsch ‎(de)‎
Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎
Sie sind als Gast angemeldet
Login
DL 1
Startseite Kalender
Alle aufklappen Alle einklappen
  1. Výroková a predikátová logika
  2. Archiv JH: výuka 2022
  3. DU2 2022 nand

DU2 2022 nand

Abschlussbedingungen
Opened: Freitag, 14. Oktober 2022, 00:00
Due: Freitag, 21. Oktober 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 )\).

◄ DÚ1 2022 do CNF, zadan 6./7.10.2022
DU4 Patek: semantika struktury ►
Contact site support
Sie sind als Gast angemeldet (Login)
Get the mobile app
Powered by Moodle