Razlika između verzija stranice "Asocijativnost"

[pregledana izmjena][pregledana izmjena]
Uklonjeni sadržaj Dodani sadržaj
m Vraćene izmjene korisnika 89.201.148.108 (razgovor) na posljednju izmjenu korisnika Imagine359
oznaka: vraćanje
m Replacing deprecated latex syntax mw:Extension:Math/Roadmap
 
Red 124:
Za dokazivanje logičkih operacija vrijede dva pravila zamjene
 
<math>(P \orlor (Q \orlor R)) \Leftrightarrow ((P \orlor Q) \orlor R)</math> i
 
<math>(P \andland (Q \andland R)) \Leftrightarrow ((P \andland Q) \andland R),</math>
 
Vrjijedi asocijativnost za disjunkciju
 
<math>((P \orlor Q) \orlor R) \leftrightarrow (P \orlor (Q \orlor R))</math>
 
<math>(P \orlor (Q \orlor R)) \leftrightarrow ((P \orlor Q) \orlor R)</math>
 
konjukciju
 
<math>((P \andland Q) \andland R) \leftrightarrow (P \andland (Q \andland R))</math>
 
<math>(P \andland (Q \andland R)) \leftrightarrow ((P \andland Q) \andland R)</math> i
 
ekvivalenciju