Pagini recente » Diferente pentru problema/lsort intre reviziile 10 si 4 | Diferente pentru problema/sdp intre reviziile 21 si 8 | Diferente pentru problema/popa intre reviziile 25 si 17 | Diferente pentru utilizator/thomas intre reviziile 3 si 2 | Diferente pentru problema/amlei intre reviziile 2 si 3
Diferente pentru
problema/amlei intre reviziile
#2 si
#3
Nu exista diferente intre titluri.
Diferente intre continut:
== include(page="template/taskheader" task_id="amlei") ==
Se dau doua formule logice interesante in (aceleasi) $n$ variabile $a{~1~}$, $a{~2~}$, ... $a{~n~}$. O formula logica este interesanta daca si numai daca este o disjunctie de conjunctii elementare. O conjunctie elementara este o formula de tipul $b{~1~}$ AND $b{~2~}$ AND ... AND $b{~n~}$, unde $b{~i~}$ este $a{~i~}$ sau NOT $a{~i~}$ , unde NOT $a{~i~}$ este negatia variabilei $a{~i~}$. Un exemplu de formula interesanta in 3 variabile independente este ( $a{~1~}$ AND NOT $a{~3~}$ AND $a{~2~}$ ) OR ( $a{~3~}$ AND NOT $a{~1~}$ AND NOT $a{~2~}$ ).
Se dau doua formule logice interesante in (aceleasi) $n$ variabile $a{~1~}$, $a{~2~}$, ... $a{~n~}$. O formula logica este interesanta daca si numai daca este o disjunctie de conjunctii elementare. O conjunctie elementara este o formula de tipul $b{~1~}$ AND $b{~2~}$ AND ... AND $b{~n~}$, unde $b{~i~}$ este $a{~i~}$ sau NOT $a{~i~}$ , iar NOT $a{~i~}$ este negatia variabilei $a{~i~}$. Un exemplu de formula interesanta in 3 variabile independente este ( $a{~1~}$ AND NOT $a{~3~}$ AND $a{~2~}$ ) OR ( $a{~3~}$ AND NOT $a{~1~}$ AND NOT $a{~2~}$ ).
Dandu-se doua formule elementare in variabilele $a{~1~}$, $a{~2~}$, ... $a{~n~}$, aflati daca ele sunt sau nu echivalente (adica pentru orice distributie de valori de adevar a celor $n$, formulele produc acelasi rezultate (TRUE, respectiv FALSE).
Nu exista diferente intre securitate.
Topicul de forum nu a fost schimbat.