1. Zuhause
  2. Frage und Antwort
  3. Bewerten, ob ein Ausdruck Tautologie ist oder nicht

Bewerten, ob ein Ausdruck Tautologie ist oder nicht

2016-12-20 3 views
0

Ich bin auf der Suche nach einem Algorithmus zu finden, ob ein Ausdruck eine Tautologie ist oder nicht? Ich habe versucht, Wahrheitstabelle (rohe Gewalt) zu verwenden, aber das ist in meinem Fall nicht machbar.Bewerten, ob ein Ausdruck Tautologie ist oder nicht

Quelle

2016-12-20 Naruto

+2

http://infolab.stanford.edu/~ullman/ialc/spr10/slides/pnp3.pdf –

+0

Also, was ist Ihre Frage? Hast du nachgeforscht? Mit welchen Ausdrucksformen arbeiten Sie? –

Antwort

1

Eine Formel ist eine Tautologie, wenn und nur wenn ihre Negation erfüllbar ist. Erreichbarkeit ist ein NP-schweres Problem, aber es gibt many solvers, die besser als rohe Gewalt sind.

Quelle

2016-12-20 22:14:40

Verwandte Themen

 Verwandte Themen