Forum » Šola » [matematika] izjave
[matematika] izjave
tx-z ::
Ko sem vadil matematko sm opazil da ne znam rešiti sledeče naloge.
Določi izjavo I tako, da bo izjava
tavtologija. Dobljeno izjavo čimbolj poenostavi!
Naj bi to rešil s pravilnostno tabelo(kar sem tudi probal, ...sam pol se je vse neki zakompliciral pa sploh ne vem če je kej prav)...
Tko da če ma kdo čas da bi usaj prbližn povedu kko se to reš, bi bil res hvaležen..
Določi izjavo I tako, da bo izjava
tavtologija. Dobljeno izjavo čimbolj poenostavi!
Naj bi to rešil s pravilnostno tabelo(kar sem tudi probal, ...sam pol se je vse neki zakompliciral pa sploh ne vem če je kej prav)...
Tko da če ma kdo čas da bi usaj prbližn povedu kko se to reš, bi bil res hvaležen..
tx-z
PaX_MaN ::
"=>" - implikacija
puščica gor - Shefferjev operator
puščica dol - Piercov operator
podčrtan v - ekskluzivni ali (XOR)
"< = >" - ekvivalenca
puščica gor - Shefferjev operator
puščica dol - Piercov operator
podčrtan v - ekskluzivni ali (XOR)
"< = >" - ekvivalenca
tx-z ::
Ekskluzivna disjunkcija
A v B ~ ¬(A < = > B)
A v B ~ B v A
Shefferjev veznik (NAND)
A↑B ~ ¬(A۸B)
A↑B ~ B↑A
Pierce-Lukasiewiczev veznik (NOR)
A↓B ~ ¬ ( A v B)
A↓B ~ B↓A
A v B ~ ¬(A < = > B)
A v B ~ B v A
Shefferjev veznik (NAND)
A↑B ~ ¬(A۸B)
A↑B ~ B↑A
Pierce-Lukasiewiczev veznik (NOR)
A↓B ~ ¬ ( A v B)
A↓B ~ B↓A
tx-z
Zgodovina sprememb…
- spremenilo: tx-z ()
Vredno ogleda ...
| Tema | Ogledi | Zadnje sporočilo | |
|---|---|---|---|
| Tema | Ogledi | Zadnje sporočilo | |
| » | MAT formulaOddelek: Šola | 1609 (1475) | shovty |
| » | 1+1=3 ? (strani: 1 2 )Oddelek: Šola | 14386 (11903) | redo |
| » | Diskretna matematikaOddelek: Šola | 1583 (1079) | technolog |
| » | Okrajšan ulomek (C++)Oddelek: Programiranje | 1833 (1648) | Ktj |
| » | kozji test (strani: 1 2 3 )Oddelek: Loža | 7071 (6178) | jeti |