Negierte Implikation

Wissenschaft Mathematik
#1

Hallo ich habe eine Frage.Die aufgabe lautet: Schreiben Sie folgende Ausdrücke als negierte Implikation:
A UND B UND (nichtC) (Ich weiß leider nicht wie man die Zeichen mit dem PC macht)

als Anatz habe ich:

  1. ganzen ausdruck negiert
  2. umgeformt zu: NICHT A ODER NICHT B ODER C
  3. umgeformt zu: NICHT A ODER ( B -> C )

aber ich bin unsicher ob es richtig ist, kann mir jemand helfen?

#2

Hi,

soweit so gut. Ich denke aber, der Aufgabensteller wollte alles in einer Implikation haben, also betrachte (A und B) als einen Block in

(A und B) und (nicht C).

Gruß, Lutz

#3

Hallo,

so sollte man es dann in eine negative Implikation überführen können

_**A && B && !C

= !(!(A && B) or C) [De-Morgan-Regel]

= !((A && B) => C) [Subjunktion]**_

&& steht für UND
or steht für ODER
! steht für NICHT
=> steht für Implikation