Logika (glavni test) (zadatak)

[Charmed]

Treba ispitati F = ((P V Q)->R)^(-Q -> (P^R)) da li je ispunjiva

Sad
F T
(P V Q)->R T
-Q -> (P^R) T

Kako dalje (ta grananja mi baš nisu jasna, prvo pišem grananje prve pa drugu formulu ispod ili kako)?

[Atomised]

Prepišeš drugu u svaku živu granu i onda je dalje granaš gdje hoćeš...

To općenito, valjda ćeš znati i konkretno za ovaj zadatak.

[Charmed]

Nadam se da se kuži di je grananje
Jel bi ovo bilo ok?

[BitterSweet]

pišeš u jednu granu:
P v Q 0(false, tj naopako T )
P 0
Q 0
sad opet granaš:
-Q 0(ovu granu zatvaramo) P^R T
P T
R T
X

u drugu granu:
R T
pa opet grananje:
-Q 0 P^R T

Added after 3 minutes:

tako nekako
vidim da je moje prilično nepregledno, ali ideja je ista

Added after 1 minutes:

samo si gore napisala P^R, a sad piše PvR

_________________
"Give me sweet lies, and keep your bitter truths." ~ Tyrion Lannister

[Charmed]

Greška u prepisivanju

koji je uvjet zaustavljanja?
dobijem da je Q T a to je u kontradikciji sa onim gore a grana je sva raspisana...

[BitterSweet]

čim dođeš do kontradikcije u nekoj grani, možeš je zatvorit... npr u ovom konkretnom slučaju di si dobila Q T i Q 0, tu staješ. Pa raspisuješ drugu granu, tj P^R T.. tu ćeš dobit P T, što je kontradikcija jer smo negdje ranije imali P 0, pa i tu granu zatvoriš.. itd.
nadam se da imalo smisleno zvuči i da sam bar malo pomogla

_________________
"Give me sweet lies, and keep your bitter truths." ~ Tyrion Lannister

[Charmed]

E super!
I sad kad raspisujem desnu granu dobijem Q T,(lijevo) to nam je uvjet zaustavljanja?
(Jer je grana raspisana a Q nam je valjan)

[BitterSweet]

da, i formula je ispunjiva za interpretaciju I def. sa I(R)=1, I(Q)=1, i I=0, za sve ostale Pi

_________________
"Give me sweet lies, and keep your bitter truths." ~ Tyrion Lannister

[Charmed]

Thnx!

[insane_raver]

Može pitanje?
ako ima koja dobra duša da odgovori.....

1. zadatak

http://web.math.hr/~veky/B/ML.sz1Bz.07-11-05.pdf

kad se iz tablice dobije DNF, kako onda to dovesti do savršene i najjednostavnije?

Hvala!!

[kika]

to sto dobijes iz tablice kad gledas jedinice,a negiras nule je savrsena dnf.
a onda kad to sredis dobijes dnf-najjednostavniju.
vrijedi da je npr.(P^ne Q^R)v(P^Q^R) = P^R -->grupiras 2i 2 zagrade i ispustis iz njih ove koji se pojavljuju sa negacijom i bez.
i kad tqak sredis,to je najjednostavnija dnf.

u tom zadatku je meni ispalo : (neP^neQ^R)v Q

probaj tak raspisati,pa ak bude problema,pitaj

[insane_raver]

tnx!
prošlo!