Bestimmen Sie in der Formel t1 alle verzichtbaren Klammerpaare.

Question 1

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

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

Question 2

Hallo Lara,

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

-Wolfgang- · Answer 1 · 2018-11-07T00:02:59+0000

Hallo Lara,

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

1 Antwort