Warum sind die Wahrheitstabellen verschieden?

Gegeben ist die Formel: ((a → b) ^ (a → c)) → (a → (b ^ c)) Die obige Formel ist eine Tautologie. ich habe die Formel jedoch vorher regelkonform umgeformt und habe die Wahrheitstabelle davon dann gebildet wobei ich bei a= true,b = false, c=true am ende false bekomme. Meine Umgeformte Formel: (A^-B) v (A ^ -C ) v (-A v (B ^ C))

1 Antwort

BraunBaer99

21.03.2024, 10:29

Ich habe vergessen bei A^-B das B zu negieren.
--> Falsch umgeformt... :D
Nun ist es richtig und eine Tautologie ist gegeben.

P.S: Vorher stand bei meiner Umformung A^B anstatt A^-B
P.P.S: ChatGPT und Gemini sind erstaunlich schlecht beim Fehlerfinden...

Woher ich das weiß:Studium / Ausbildung

Schachpapa

21.03.2024, 19:10

P.P.S: ChatGPT und Gemini sind erstaunlich schlecht beim Fehlerfinden...

ChatGPT ist ziemlich schlecht in Logik, Rechnen, Mathematik. Dafür ist es auch nicht gemacht.

Es ist gut im Texte fortsetzen bzw. aufblähen oder umformulieren.

Ähnliche Beiträge

Java-Programm: Wahrheitstabelle?

Ich muss eine Wahrheitstabelle für AND, OR, a AND b XOR c mit Java programmieren, komme aber nicht weiter.

Beispiel für den Aufbau der Ausgabe:

a b c OR
======================
false true false true
…

Soweit bin ich gerade:

public class Sum25 {
  public static void main (String[] args) {
    Boolean a;
    Boolean b;
    Boolean c;

    for (i = 0; i <= 1; i++) {
      if i == 0 {
        a = false;
      }
      else a = true

      for (j = 0; j <= 1; i++) {
        if i == 0 {
          b = false
        }
        else b = true

        for (k = 0; k <= 1; i++) {
          if k == 0 {
            c = false;
          }
          else c = true;

...zum Beitrag

Informatik frage (Wahrheitstabelle)?

Geben Sie mittels geschachtelter Schleifen die Wahrheitstabellen (Auflistung aller möglichen Werte) mit drei booleschen Operanden a, b und c aus, für die Operationen OR und AND sowie für den Ausdruck (a OR b) XOR c.

Beispiel für den Aufbau der Ausgabe: a b c OR

======================

false true false true

...

wie sollte der code aussehen wenn ich das mit einer for oder while schleife mache ?

...zum Beitrag

Semantische Folgerung und Äquivalenzen?

Betrachte die folgenden Formeln.

•φ1: = ¬B∧(A∨C)

•φ2:= (¬A↔C)∧¬B

•φ3:= ¬A→C

•φ4:= ((A→B)→¬C)∨C

Finde unter den obigen Formeln eine Formel φi mit φi| = φ1∧φ2∧φ3∧φ4. Gibt es eine solche Formel überhaupt? Begründe in jedem Fall Deine Antwort.

Wie ist die Aufgabe gemeint? Man soll jetzt eine Formel finden, die alle 4 Kriterien gleichzeitig erfüllt? Uns wurde gesagt, wir sollen eine Wahrheitstabelle für alle Kombinationen, insg. 8 Einträge erstellen? Aber woher, weiß ich z.B. wann φ1 falsch ist und φ2 wahr? Die einzige Möglichkeit wäre doch nur, wenn alle 4 Formeln wahr sind? Oder hab ich grad ein Brett vorm Kopf?

...zum Beitrag

Zusammengesetzter Quantifizierer, wie lösen?

Moin im Bild ist einmal eine Aufgabe die sich mit den Mathematischen Symbolen von Naturalen-, Realen Zahlen etc. beschäftigt.

Welches davon ist true / false und wie müsste ein Satz gebildet sein?

...zum Beitrag

Habe in einer Mathe Aufgabe ein falsches Ergebniss kann jemand weiter helfen?

Das ist die Aufgabe:

Und dass die Lösung:

t (Zeit) ist gesucht. Ich habe die Formel r=D:t zu t=D:r umgeformt.

gegeben: D=60GB, r=450 Mbit/s

beide mussten in bit umgeformt werden hab ich gemacht also

t= 480 000 000 000bit:450 000 000 bit/s t= 1066,667s

die Lösung hat statt dass sie 60 GB zu bit umformt nur 1GB berechnet zu bit.(siehe Lösung oben) kann jemand erklären wieso? Bitte

...zum Beitrag

Periodizität einer Folge?

Ist die Folge aus a²+a mit a Element N modulo p für jedes p irgendwann periodisch?

...zum Beitrag

Ist das nich eine Binomische Formel?

(a+b)² ist eine Binomische Formel

(a²+b²)² ist das auch noch eine Binomische Formel?

Stimmt das:

(a²+b²)² = a⁴+2a²b²+b⁴

(a+b)² = (a+b)×(a+b)

...zum Beitrag

Aussage widerlegen oder beweisen Mengenlehre?

Hallo Leute,

Irgendwie bin ich überfordert. Ich soll beweisen beziehungsweise widerlegen, ob die folgende Aussage wahr oder richtig ist:

P(A) ∩ P(B) = P(A ∪ B)

Ich habe das folgendermaßen gemacht:

X ∈ P(A) ∪ P(B)

⇔ (X ⊆ A) ∨ (X ⊆ B)

⇔ X ⊆ A ∪ B

⇔ X ∈ P(A ∪ B)

Aber nach einiger Recherche stellt sich heraus, dass die Aussage falsch ist. Aber wo ist dann der Fehler in meinem Beweis?

...zum Beitrag

Relationen und Hasse Diagramme?

Hey,
Wir haben zum Beispiel folgende Relation: R = {(a,b) (c,d) ∈ N | a = b v c > d}
Und haben folgende Tupel: (1,2) (1,4) für die Tupel gilt a = b, aber nicht c > d, sind sie trotzdem in Relation in einem Hasse Diagram? Oder muss a = b UND c > d gelten?

...zum Beitrag

IF Funktion in excel auf mehrere Zellen anwenden?

Hallo,

Ich möchte wenn in einer Zelle etwas reingeschrieben wird das die darauffolgenden Felder zu Pflichtfelder werden. Dazu nutze ich aktuell folgende Formel.

Private Sub Workbook_BeforePrint(Cancel As Boolean)

Dim zeile As Long, OK As Boolean

OK = True

For zeile = 1 To Tabelle1.Cells.SpecialCells(xlCellTypeLastCell).Row

If Worksheets("Tabelle1").Cells(4, 2).Value <> "" Then

If Worksheets("Tabelle1").Cells(4, 3).Value = "" Then OK = False 'Spalte C

If Worksheets("Tabelle1").Cells(4, 4).Value = "" Then OK = False 'Spalte D

If Worksheets("Tabelle1").Cells(4, 5).Value = "" Then OK = False 'Spalte E

If Worksheets("Tabelle1").Cells(4, 6).Value = "" Then OK = False 'Spalte F

If Worksheets("Tabelle1").Cells(4, 8).Value = "" Then OK = False 'Spalte H

If Worksheets("Tabelle1").Cells(4, 9).Value = "" Then OK = False 'Spalte I

End If

If Not OK Then

MsgBox "Drucken nicht möglich - nicht alle Pflichtfelder ausgefüllt"

Cancel = True

End If

End Sub

Nun möchte ich das die obige Formel von B4- B25 durchgeführt wird. Also das wenn in in B8 z.B. etwas reingeschrieben wird das dann die Zellen in B8 geprüft werden das dort in den anderen Feldern auch was reingeschrieben worden ist.
Wie würde ich das ganze hinbekommen?

Danke im Voraus

...zum Beitrag

Handel es sich um eine vollständige logische Signatur?

Hey, ich habe {→, ¬}, um nun zu Beweisen, dass es sich dabei um eine vollständige logische Signatur handelt, kann ich dann wie folgt vorgehen:

Die Boolesche Standardsignatur heißt {¬,∧,∨}, somit muss ich beim Beispiel {→, ¬} nur "→" beweisen und versuchen "→" als ¬ oder ∧ oder ∨ auszudrücken, richtig? Welche Funktion nehme ich denn dafür? Einfach A → B == ¬A ∨ B, dann fertig? {→, ¬} ist also eine vollständige logische Signatur, denn "→" lässt sich durch ¬ und ∨ darstellen?

...zum Beitrag

python sinus cosinus tangens math modul?

Hallo,

from math import sin, cos, tan


print("Winkelfunktionen")

print("          /| ")
print("         /ß| ")
print("        /  | ")
print("       /   | ")
print("      /    | ")
print("c    /     |a ")
print("    /      | ")
print("   /       | ")
print("  /        | ")
print(" /        _| ")
print("/@_______/.| ")
print("     b       ")

print("Um das Dreieck zu berechnen brauchen wir folgende Informationen")
rechtwinklig_abfrage = input("Ist ihr Dreieck rechtwinklig? (erkennbar am Zeichen oder 90°) [j/n] ")
if rechtwinklig_abfrage == "j":
    rechtwinklig = True
else:
    rechtwinklig = False
    print("Winkelfunktionen können in nicht-rechtwinkligen Dreiecken nicht benutzt werden! ")


a_abfrage = input("Ist die Seite a gegeben? [j/n] ")
if a_abfrage == "j":
    a_vorhanden = True
    a = int(input("welche Länge ist für a angegeben?: "))
else:
    a_vorhanden = False

b_abfrage = input("Ist die Seite b gegeben? [j/n] ")
if b_abfrage == "j":
    b_vorhanden = True
    b = int(input("welche Länge ist für b angegeben?: "))
else:
    b_vorhanden = False

c_abfrage = input("Ist die Seite c/Hypotenuse gegeben? [j/n] ")
if c_abfrage == "j":
    c_vorhanden = True
    c = int(input("welche Länge ist für c/Hypotenuse angegeben?: "))
else:
    c_vorhanden = False

alpha_abfrage = input("Ist  alpha gegeben? (@) [j/n] ")
if alpha_abfrage == "j":
    alpha_vorhanden = True
    alpha = int(input("Welche Größe ist für alpha angegeben?"))
else:
    alpha_vorhanden = False

beta_abfrage = input("Ist  beta gegeben? (ß) [j/n] ")
if beta_abfrage == "j":
    beta_vorhanden = True
    beta = int(input("Welche Größe ist für alpha angegeben?"))
else:
    beta_vorhanden = False

art_abfrage = input("was soll berechnet werden? [a/b/c/@/ß] ")
if art_abfrage == "a":
    if alpha_vorhanden and b_vorhanden:
        ergebnis = tan(alpha*b)
        print(ergebnis)

wie verwende ich das math modul richtig?

b 0 3

alpha = 40

eigentlich sollte 2,52 rauskommen, das programm kommt aber auf 0,71

Danke

...zum Beitrag

Beweise: ggT (a,b,c) kleiner gleich ggT (a,b)?

Seien a,b,c elemente der natürlichen Zahlen,

dann ist der ggT(a,b,c) kleiner gleich ggT(a,b)

Kann das Jemand beweisen? :D

...zum Beitrag

(A\B)xC=(AxC)\(BxC)?

Hey, ich habe eine Hausaufgabe bei der Uni. Ich soll beweisen das folgendes Gilt: (A\B)xC=(AxC)\(BxC) Ich habe eine Wahrheitstabelle gemacht aber das funktioniert nicht, kann jemand helfen? "A, B und C seinen Mengen. Beweisen sie." Das ist die Aufgabe.

...zum Beitrag

Was möchtest Du wissen?

Deinen Beitrag erstellen