Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie

koniunkcja względem alternatywy


  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
3 odpowiedzi w tym temacie

#1 ellam

ellam

    Nowicjusz

  • Użytkownik
  • 2 postów
0
Neutralny
  • Płeć:Kobieta

Napisano 08.05.2009 - 17:21

czy może ktoś mi pomóc z tym zadaniem:
Udowodnij prawo rozdzielności względem alternatywy
  • 0

Afroman

    Kombinator

  • Użytkownik
3
  • Płeć:Kobieta

Napisano 25.09.2011 - 17:55

#2 sakhmet

sakhmet

    Wielki Analityk

  • $Jr Admin
  • 3937 postów
2106
Starszy Wykładowca III
  • Płeć:Kobieta

Napisano 08.05.2009 - 18:06

(p\wedge (q\vee r ) )   \Leftrightarrow (p\wedge q)\vee(p\wedge r)

  \begin{tabular}{|c|c|c|c|c|c|c|c|c|}<br />\\  \hline<br />\\   p & q & r & q\vee r & p\wedge (q\vee r) & p\wedge q & p\wedge r & (p\wedge q)\vee(p\wedge r) & (p\wedge (q\vee r ) )   \Leftrightarrow (p\wedge q)\vee(p\wedge r) \\<br />\\  \hline<br />\\  0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\<br />\\ \hline<br />\\  0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 1 \\<br />\\ \hline<br />\\  0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 1 \\<br />\\ \hline<br />\\  1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\<br />\\ \hline<br />\\  1 & 1 & 0 & 1 & 1 & 1 & 0 & 1 & 1 \\<br />\\ \hline<br />\\  1 & 0 & 1 & 1 & 1 & 0 & 1 & 1 & 1 \\<br />\\ \hline<br />\\  0 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 1 \\<br />\\ \hline<br />\\  1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\<br />\\  \hline<br />\\\end{tabular}<br />\\

zdanie jest tautologia, jest więc prawdziwe
  • 0

#3 ellam

ellam

    Nowicjusz

  • Użytkownik
  • 2 postów
0
Neutralny
  • Płeć:Kobieta

Napisano 08.05.2009 - 18:15

napisałem:
Udowodnij prawo rozdzielności względem alternatywy
a powinno być:
Udowodnij prawo rozdzielności koniunkcji względem alternatywy
czy odpowiedź będzie taka sama??
  • 0

#4 sakhmet

sakhmet

    Wielki Analityk

  • $Jr Admin
  • 3937 postów
2106
Starszy Wykładowca III
  • Płeć:Kobieta

Napisano 08.05.2009 - 18:25

Prawo rozdzielności koniunkcji względem alternatywy:

(p\wedge (q\vee r ) )   \Leftrightarrow (p\wedge q)\vee(p\wedge r)

Odpowiedź ta sama. Koniunkcję doczytałam sobie z tytułu ;)
  • 0