Lauselogiikka, teth.55

Lauselogiikka, teth.32

Sievennä ~(A ˅ ~B) ˅ A

~(A ˅ ~B) ˅ A ≡ ~A ˅ (~B ˅ A)

~B ˅ 1

Ei sitten mitään käryä onko oikein...

Lauselogiikka, teth.11

A	B	C	B ↔ C	A → (B ↔ C)
0	0	0	1	1
0	0	1	0	1
0	1	0	0	1
0	1	1	1	1
1	0	0	1	1
1	0	1	0	0
1	1	0	0	0
1	1	1	1	1

totuustaulu lausekkeelle

A → (B ↔ C)

Lukujärjestelmät tehtävä 14

Tuhlataanko decimal-esityksissä muistia siinä mielessä, että samalle luvulle voi olla useita eri bittiesityksiä? Kuinka on laita liukulukuesityksissä?

Decimal-esityksissä luku esitetään 32 bitillä siten, että ensimmäinen bitti etumerkki, 28 seuraavaa kertovat luvun ja neljä viimeistä desimaalipisteen paikan. Eihän tämän mukaan samaa lukua voi esittää eri tavoin.

Liukulukuesityksissä on käytettävissä neljää erilaista bittiesitystapaa esitystarkkuuden mukaan (single, double, single extended, double extended). Silloin tuhlataan ainakin muistia, jos käytetään turhan tarkkaa esitystapaa.

Lauselogiikka teht. 42

42. Mille tahansa propositiolle on mahdollista löytää ekvivalentti propositio, jossa ei
esiinny konditionaalia eikä bikonditionaalia.

Totta se on. En kyllä kykene perustelemaan.

Lauselogiikka tehtävä 37

Sievennä:
Not (x<=5 Or Not(x>5 Or y<3)) de Morganin laki
= Not (x<=5 Or (x<=5 And y>=3)) de Morganin laki
= x>5 And (x>5 Or y<3) eliminointilaki
= x>5

Lauselogiikka tehtävä 38

Tehtävä 38
Sievennä: Not(x<5 And y=1) Or x<5

Not(x<5 And y=1) Or x<5 de Morganin laki
= (x>=5 Or y<>1) Or x<5 eliminointilaki
= x<5