szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 11 sie 2017, o 01:28 
Użytkownik

Posty: 1
Taki przykład:

\left(p \vee \neg q \right) \wedge \left(\neg p \vee q \right) \wedge \left(p \vee q \right) \wedge \left(\neg p \vee \neg q \right)

Sprawdziłem już (za pomocą tabelki wyszły same fałsze), że nie jest to tautologia. Teraz muszę to przedstawić w postaci disjunktywno-koniunktywnej.

Doszedłem w końcu do czegoś takiego:

\left[ \left( p \wedge q\right) \vee \left( \neg p \wedge \neg q\right) \right] \wedge \left[ \left( p \wedge \neg q\right) \vee \left( \neg p \wedge q\right) \right]

Co z tym dalej zrobić, aby otrzymać postać DNF?
Góra
Mężczyzna Online
PostNapisane: 11 sie 2017, o 22:29 
Użytkownik
Avatar użytkownika

Posty: 96
Lokalizacja: brak
\bot (fałsz) już jest dysjunktywno-koniunktywną postacią.
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Zapisać negację zdania  kacper1234  5
 zapisac zaprzeczenie ponizszej formuly - zadanie 2  kainita90  5
 Postać disjunktywno-koniunktywna  ryba_p  2
 Zapisać za pomocą formuły  Chromosom  3
 Używając notacji logicznej zapisać następującą własność - zadanie 5  Dario1  7
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl