Alle Fragen
LegoFighter
Aktivitäten
2 Fragen
0 Antworten
Fragen von LegoFighter
2
Fragen gestellt
1
beste Antwort ausgewählt
+
0
Daumen
0
Antworten
Skolemform ohne Funktionssymbole: Entscheidbar?
Gefragt
1 Dez 2017
prädikatenlogik
aussagenlogik
+
0
Daumen
1
Antwort
( ¬ B ⇒ A ) ∧ ( C ⇒ A ) ∧ ( ¬ A ⇒ C ) = ¬ ( B ⇒ ¬ A ) ∨ ¬ ( A ⇒ B ). Lösen Sie durch Äquivalenzumformung!
Gefragt
16 Jun 2017
aussagenlogik
logik
umformen
Made by a lovely Community
