Enakovredne izjave
Iz E-študij, proste zakladnice študentskega znanja
Izjavni račun
Izjavi A in B sta enakovredni, kar zapišemo
- A˜B
natanko takrat, ko imata pri vsakem naboru logičnih vrednosti enostavnih izjav oba isto vrednost.
- A˜B natanko takrat, ko je
.
Enakovredni izjavi sta torej običajno le dva različna zapisa iste izjave.
Enakovrednost izjav ˜ je ekvivalenčna relacija, saj ima vse zahtevane lastnosti:
- refleksivnost: A˜A
- simetričnost: če je A˜B, potem je tudi B˜A
- tranzitivnost: če je A˜B in B˜C, potem je tudi A˜C
Eden izmed načinov, kako preverimo, ali sta izjavi enakovredni je, da zapišemo njuni resničnostni tabeli. Če sta stolpca vrednosti rešitev enaka, sta izjavi enakovredni.
Enakovrednostni zakoni
idempotentnost:
| 
|
asociativnost:
| 
|
komutativnost:
| 
|
distributivnost:
| 
|
De Morganova zakona:
| 
|
absorpcija:
| 
|
lastnosti resnice in laži
| 
|
| 
|
| 
|
lastnosti negacije:
| 
|
|
zveze med logičnimi povezavami: lastnosti resnice in laži
| 
|
| 
|
| 
|
