Hier meine Vorgehensweise(komme jedoch nicht weiter)

x1 x2 x3 y

0 0 0 0 (Kommt hier 0 oder 1 raus weil 000 ja keine einsen enthält)

0 0 1 1

0 1 0 1

0 1 1 0

1 0 0 1

1 0 1 0

1 1 0 1

1 1 1 1

Die DNF und KNF hab ich auch abgeleitet, habe jedoch keine Ahnung, ob die Resolutionsregel angewandt werden kann? Ich habe als Antwort nein, weil es zwei Variablen gibt, die sich unterscheiden und die Regel besagt: "Kommen in einer disjunktiven Form (DF) zwei Konjunktionen vorbzw. kommen in einer konjunktiven Form (KF) zwei Disjunktionenvor, die sich in genau einer komplementären Variablen unterscheiden, dann können diese durch den gemeinsamen Teil ersetzt werden." Und es bei meinem Ergebnis unterscheidet sich das ganze ja in zwei komplementären Variablen.

Hallo,

kann mir jemand sagen, ob ich gemäß der Aufgabenstellung meine XSD-Schema- und XML-Datei richtig geschrieben habe und wie kann ich die XSD Datei validieren? Da kommt immer no declaration found for elment 'xs:schema' raus.

Hier der Quellcode für die XML-Datei (Podcast-Projekt.xml):

<?xml version="1.0" encoding="UTF-8"?>
<podcast xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="PODCAST.xsd">
  <episode>
    <host> </host>
    <guest> </guest>
    <chapter></chapter>
  </episode>
</podcast>

und hier die XSD-Datei (PODCAST.xsd):

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="podcast"></xs:element>
  <xs:complexType name="podcast">
    <xs:sequence>
      <xs:element name="episode"/>
    </xs:sequence>
  </xs:complexType>
  <xs:complexType name="episode">
    <xs:sequence>
      <xs:element name="host"/>
      <xs:element name="guest"/>
      <xs:element name="chapter"/>
    </xs:sequence>
  </xs:complexType>
</xs:schema>

Aufgaben:

Aufgabe 1: Übersetzen Sie die folgende DTD in eine XML-Schema-basierte Strukturbeschreibung. Setzen Sie dabei auf global definierte Datentypen. Attribute sollen vorerst nicht definiert werden.

<!DOCTYPE podcast [
  <!ELEMENT podcast (episode+)>
  <!ELEMENT episode (host+, guest, chapter)>
  <!ELEMENT host    (#PCDATA)>
  <!ELEMENT guest   (#PCDATA)>
  <!ELEMENT chapter EMPTY>
]>

Aufgabe 2: Stellen Sie sicher, dass die in Aufgabe 1 entwickelte XML-Schema-Definition (XSD-Datei) wohlgeformt und valide ist. Überprüfen Sie dies mit dem Programm XML Copy Editor (siehe ÜB04.A4).