Bestimmen Sie in der Formel t1 alle verzichtbaren Klammerpaare.

Question

Diese Formel denke ist einfach , aber ich stehe auf dem schlauch

Bestimmen Sie in der Formel t1 alle verzichtbaren Klammerpaare.

t1 = (((x∨¬y)∧(¬z))∨((¬y) → (z∧(¬(y ∨ z)))))

Answer 1

Hallo Lara,

https://de.wikipedia.org/wiki/Operatorrangfolge

t1 = (((x∨¬y)∧(¬z))∨((¬y) → (z∧(¬(y ∨ z))))) 

Wie in dem Link oben gehe ich (ähnlich wie Punkt- vor Strichrechnung bei · : vor ±)  von folgender Operatorrangfolge aus:   ¬  ∧  ∨  →  ↔ 

dann ergibt sich: 

t1  =  ( (x ∨ ¬ y) ∧ ¬ z ) ∨ ( ¬ y → z ∧ ¬ (y ∨ z) )

Gruß Wolfgang