Neue Frage
0

Temporal Logic

gefragt 2017-08-22 16:16:03 +0100

Dieser Post ist als Wiki-Post markiert

Das ist ein Wiki-Beitrag. Jeder mit Karma >75 darf diesen Beitrag verbessern.

aktualisiert 2017-08-22 16:16:03 +0100

arsinux Gravatar-Bild

Can we say XGF p = GFX p ?

bearbeiten retag Als beleidigend melden schließen löschen

1 Antwort

2

geantwortet 2017-08-22 17:31:13 +0100

PS Gravatar-Bild

Yes, both formulas are equivalent to each other. To see that, enter

(X G F p) <-> (G F X p)

in the online tool http://es.cs.uni-kl.de/tools/teaching/TemporalLogicProver.html. It will prove the equivalence of both formulas.

in general X commutes with all future operators and also all propositional operators:

  • X ¬p = ¬X p
  • X(p ∧ q) = (X p) ∧ (X q)
  • X(p ∨ q) = (X p) ∨ (X q)
  • X G p = G X p
  • X F p = F X p
  • X[p SU q] = [(X p) SU (X q)]
  • X[p WU q] = [(X p) WU (X q)]

and so on.

bearbeiten Als beleidigend melden löschen publish Link mehr

Ihre Antwort

Du kannst deinen Eintrag bereits als Gast verfassen. Deine Antwort wird zwischengespeichert, bis du dich eingeloggt oder registriert hast.
Bitte nur konstruktive Antworten auf diese konkrete Frage posten.
Falls du eine Frage stellen willst, dann stelle eine neue Frage.
Für kurze Diskussionen und Nachfragen benutze bitte die Kommentar-Funktion.
Deine Fragen und Antworten kannst du jederzeit nachbearbeiten und verbessern.
Gute Fragen und Antworten kannst du mit einem Upvote oder Downvote bewerten.

Schreibe deine Antwort auf diese Frage

[Vorschau ausblenden]

Fragen-Tools

Beobachten
1 Follower

Statistik

Gefragt: 2017-08-22 16:16:03 +0100

Gesehen: 35 mal

Letztes Update: Aug 22