<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel>
        <title>Blatt 5, Aufgabe 4a)</title>
        <description> Hallo,
1.) Müssen Ausdrücke mit dem gleichen Ergebnis, also z.B. (x1*x2) und (x2*x1) beide aufgeschrieben werden?
2.) Ist z.B. (0) ein Ausdruck?

Grüße
Florin Godard

Edit: Sollte eigentlich nur ein neuer Beitrag im passenden Thread sein...</description>
        <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3099#msg-3099</link>
        <lastBuildDate>Tue, 17 Dec 2024 10:34:51 +0100</lastBuildDate>
        <generator>Phorum 5.2.23</generator>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3104#msg-3104</guid>
            <title>Re: Blatt 5, Aufgabe 4a)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3104#msg-3104</link>
            <description><![CDATA[ Vorsicht bei der Formulierung &quot;vollständig geklammerte Boolesche Ausdrücke&quot;. Dies bedeutet nicht, dass ein Boolesche Ausdruck ansich &quot;vollständig&quot; geklammert sein muss oder kann, sondern ist eine Umschreibung für die Menge der erlaubten Booleschen Ausdrücke, wie sie in Kapitel 7.3 auf Folie 2 definiert sind. <br />
<br />
Die Regeln besagen zunächst, dass 0 und 1 Boolesche Ausdrücke sind, sowie alle Variablen aus X_n.<br />
Sollte ein Operator auf den Booleschen Ausdruck angewandt werden, so muss dieser geklammert sein (dies ist das, was wir &quot;vollständig geklammert&quot; nennen - im Gegensatz zu der Konvention eine Folie weiter).<br />
<br />
Das heißt, dass z.B. (x_1) kein Boolescher Ausdruck ist, da dann (und nur dann) geklammert wird, wenn ein Operator ins Spiel kommt.<br />
<br />
Man kann leicht testen, ob (x_1) ein Boolescher Ausdruck ist. Wenn es einer wäre, müsste es eine Regel geben, die zu ihn führt. Wenn man sich die Regeln auf der angesprochenen Folie anschaut, so erkennt man, dass es _KEINE_ Regel gibt, die besagt:<br />
Wenn g ein Boolescher Ausdruck ist, dann ist auch (g) ein Boolescher Ausdruck.<br />
<br />
Es gibt auch keine Folge von bestehenden Regeln, die dazu führen.<br />
Somit ist (x_1) kein Boolescher Ausdruck.]]></description>
            <dc:creator>Sven Reimer</dc:creator>
            <category>Technische Informatik WS 2009/10</category>
            <pubDate>Thu, 26 Nov 2009 17:40:08 +0100</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3103#msg-3103</guid>
            <title>Re: Blatt 5, Aufgabe 4a)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3103#msg-3103</link>
            <description><![CDATA[ Jan Hättig schrieb:<br />
-------------------------------------------------------<br />
&gt; <br />
&gt; zu2)warum hat die 0 Klammern? Klammern kommen nur<br />
&gt; um Ausdrücke wo etwas negiert oder<br />
&gt; addiert/multipliziert wird, siehe Klammerung<br />
<br />
<br />
<br />
aber in der Aufgabe steht doch, dass die Ausdrücke vollständig geklammert sein müssen. Wäre es dann ein Fehler wenn man eine 0 oder ein Literal klammert?]]></description>
            <dc:creator>Manuel Bührer</dc:creator>
            <category>Technische Informatik WS 2009/10</category>
            <pubDate>Thu, 26 Nov 2009 17:04:25 +0100</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3102#msg-3102</guid>
            <title>Re: Blatt 5, Aufgabe 4a)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3102#msg-3102</link>
            <description><![CDATA[ wenn du mit dem - ein negationszeichen meinst, ja]]></description>
            <dc:creator>Jan Hättig</dc:creator>
            <category>Technische Informatik WS 2009/10</category>
            <pubDate>Thu, 26 Nov 2009 09:52:04 +0100</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3101#msg-3101</guid>
            <title>Re: Blatt 5, Aufgabe 4a)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3101#msg-3101</link>
            <description><![CDATA[ Ist es dann auch ein Ausdruck wenn kein x1 oder x2 darin vorkommt sondern zum Beispiel nur (-0) da steht?<br />
<br />
Grüße]]></description>
            <dc:creator>Florin</dc:creator>
            <category>Technische Informatik WS 2009/10</category>
            <pubDate>Thu, 26 Nov 2009 09:50:45 +0100</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3100#msg-3100</guid>
            <title>Re: Blatt 5, Aufgabe 4a)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3100#msg-3100</link>
            <description><![CDATA[ Hallo,<br />
<br />
zu1) es mag zwar das gleiche rauskommen, aber man braucht kommutativität um es von dem einen in das andere zu formen, also unterscheiden sie sich (im Prinzip unterscheidet sich alles was nicht aus den gleichen Zeichen besteht)<br />
<br />
zu2)warum hat die 0 Klammern? Klammern kommen nur um Ausdrücke wo etwas negiert oder addiert/multipliziert wird, siehe Klammerung<br />
<br />
MfG<br />
Jan]]></description>
            <dc:creator>Jan Hättig</dc:creator>
            <category>Technische Informatik WS 2009/10</category>
            <pubDate>Thu, 26 Nov 2009 09:45:57 +0100</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3099#msg-3099</guid>
            <title>Blatt 5, Aufgabe 4a)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3099,3099#msg-3099</link>
            <description><![CDATA[ Hallo,<br />
1.) Müssen Ausdrücke mit dem gleichen Ergebnis, also z.B. (x1*x2) und (x2*x1) beide aufgeschrieben werden?<br />
2.) Ist z.B. (0) ein Ausdruck?<br />
<br />
Grüße<br />
Florin Godard<br />
<br />
Edit: Sollte eigentlich nur ein neuer Beitrag im passenden Thread sein...]]></description>
            <dc:creator>Florin</dc:creator>
            <category>Technische Informatik WS 2009/10</category>
            <pubDate>Thu, 26 Nov 2009 09:40:41 +0100</pubDate>
        </item>
    </channel>
</rss>
