• The overall formula should just be composed from formulas from part 11 ( plus appropriate operators ).
It should not be further re-formed.
• Do not carry out the actual resolution, this task is about the preparational steps only.
www.is.inf.uni-due.de• Die Gesamtformel soll lediglich aus den Formeln aus Aufgabe 11 ( plus passende Operatoren ) zusammengestellt werden.
Sie soll noch nicht weiter umgeformt werden.
• Es soll auch noch keine Resolution durchgeführt werden.
www.is.inf.uni-due.deBi želeli dodati besede, fraze ali prevode?
Predlagajte nov vnos.