| 27.12.2012, 11:36 |
goldfisch91 |
Auf diesen Beitrag antworten » |
Tautologie (Klauselform)
Hallo meine lieben Mathematiker,
ich hab ein Problem bzgl. der Klauselform. Wenn ich die KNF umforme habe ich teilweise Tautologien ( zb. (A v !A)). Muss man die dann so in die Klauselform übernehmen oder muss man da was beachten (zb. weglassen oder ersetzen).
Vielen Dank! |
| 27.12.2012, 12:57 |
Math1986 |
Auf diesen Beitrag antworten » |
RE: Tautologie (Klauselform)
Meines Wissens nach muss man in diesem Fall per Definition das ganze so weit wie möglich vereinfachen (in deinem Falle zu true). Anderenfalls hättes man das Problem, dass die Klauselform nicht eindeutig wäre. |
