Ich habe versucht, für eine Hausaufgabe meine eigene Wahrheitstabelle zu erstellen, aber es ist mir nicht gelungen. Der Code ist unten angegeben.
\begin{array} {|r|r|}
\hline p & q & r & p \wedge \neg r & q \downarrow (\neg p \rightarrow r) & \neg r \mid p & \neg q \\
\hline D & D & D & Y & ~ & ~ & Y \\
\hline D & D & Y & D & Y & ~ & Y \\
\hline D & Y & D & ~ & ~ & ~ & D \\
\hline D & Y & Y & ~ & ~ & ~ & D \\
\hline Y & D & D & Y & ~ & ~ & Y \\
\hline Y & D & Y & Y & ~ & ~ & Y \\
\hline Y & Y & D & ~ & ~ & ~ & D \\
\hline Y & Y & Y & ~ & ~ & ~ & D \\
\hline
\end{array}
Antwort1
Gelöst. Das Problem wurde dadurch verursacht, dass die Anzahl der im Befehl angegebenen Ausrichtungsregisterkarten \begin{array}
nicht mit der Anzahl der Spalten in meiner Tabelle übereinstimmte. Das Problem wurde behoben, indem es wie unten beschrieben umgeschrieben wurde.
\begin{array}{|r|r|r|r|r|r|r|}
\hline
p & q & r & p \wedge \neg r & q \downarrow (\neg p \rightarrow r) & \neg r \mid p & \neg q \\
\hline
D & D & D & Y & \sim & \sim & Y \\
\hline
D & D & Y & D & Y & \sim & Y \\
\hline
D & Y & D & \sim & \sim & \sim & D \\
\hline
D & Y & Y & \sim & \sim & \sim & D \\
\hline
Y & D & D & Y & \sim & \sim & Y \\
\hline
Y & D & Y & Y & \sim & \sim & Y \\
\hline
Y & Y & D & \sim & \sim & \sim & D \\
\hline
Y & Y & Y & \sim & \sim & \sim & D \\
\hline
\end{array}