Tehtävä 50 (Lauselogiikka)

f(0,1,0,1,1,0,1) = f(1,1,0,1,1,1,0) = 1 (muutoin 0) //disjunktiiviseen normaalimuotoon

F(A, B, C, D, E, F, G) = (~A ^ B ^ ~C ^ D ^ E ^ ~F ^ G) V (A ^ B ^ ~C ^ D ^ E ^ F ^ ~G)

Muokkasin vastaustasi hieman. //anne

tehtävä 30

(av~b->b)^((av~b->b)v(a<->c^~b))
=av~b->b eliminoimislaki
=~(av~b)vb
=~a^~(~b)vb de morganin laki
=~a^bvb
=~a^b


Hallelujah!

Muokkasin ratkaisuasi. //anne

Tehtävä 24 (Lauselogiikka)

~(A ^ ( B ↔ (A v B))) v C

Sisimmät sulkeet voi poistaa kosa " v " on laskusäännöissä ennen " ↔ ".

Lopputulos:
~(A ^ (B ↔ A v B))

Lukujärjestelmät-demojen tekijät

1. Anh
2. Matti
3. Atso
4. Liisa
5. Janna
6. Annika
7. Lillian
8. Mirko
9. Antti L.
10. Juho
11. Arto
12. Marjaana
13. Petteri H.
14. Tia
15. Petteri K.
16. Maire
17. Janne
18. Jussi-Matti
19. Erkki
20. Ari
21. Jarkko
22. Taneli

Tehtävä 40 (lauselogiikka)

Tämä hassun hauska blogi ei antanut meikäläisen lisätä vastausta oikeassa muodossa tekstinä, joten oli pakko tehdä kämänen kuva, mutta tässä "oikea" vastaus:

Tehtävä 53 (Lauselogiikka)

Konstruktoi mikropiiri, joka suorittaa: f(A,B,C) = ((~A ∨ B) ∧ (~A ∨ ~B)) ∨ C

Tehtävä 31 (Lauselogiikka)

Saata ensin muotoon, jossa ei ole konditionaalia, eikä bikonditionaalia, sitten sievennä:
~(~A∧~B∧C)

Konditionaaleja/bikonditionaaleja ei ole, joten:
A∨B∨~C

Tehtävä 36 (lauselogiikka)

Saata ensin muotoon, jossa ei esiinny konditionaalia eikä bikonditionaalia, sitten sievennä

A v B -> C ^ ~ A ^ ~ B
= (A v B) -> C ^ ~ A^ ~B
= ~(A v B) v C^ ~A^ ~B [P->Q = ~Pv Q]
= ~A^ ~B v C^~A^ ~B [De Morganin laki]
= ~A^~B [Eliminointilaki]

Tehtävä 10 (joukko-oppi)

A ={"eno", "täti"}
B = {1,2,3}
C = {0,1}

AxBxC = {("eno", 1, 0), ("eno", 1,1 ), ("täti", 1, 0), ("täti", 1, 1), ("eno", 2, 0), ("eno", 2, 1), ("täti, 2, 0), ("täti", 2, 1), ("eno", 3, 0), ("eno", 3, 1)}

CxAxB = {(0, "eno", 1), (0, "eno", 2), (0, "eno", 3), (0, "täti", 1), (0, "täti", 2), (0, "täti", 3), (1, "eno", 1), (1, "eno", 2), (1, "eno", 3), (1, "täti", 1), (1, "täti", 2), (1, "täti", 3)}

A v (B <-> C)

A tai (b jos ja vain jos c)