Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
RozdziałI–Rachunekzdań
D.Testy(odpowiedzinakońcupodręcznika)
1.Zaznaczprawdziwezdania:
a)zmiennazdaniowajestformułą;
b)formuła
ż
(
p
V
q
)
-żVż
(
q
p
)
jesttautologią;
c)jeśli
p
oraz
q
sąformułami,to
p
3
q
teżjestformułą;
d)formuła
pNORp
-ż
p
jesttautologią;
e)spójnik
XOR
jestprzemienny.
2.Zaznacztautologierachunkuzdań:
a)
(
uNANDw
)
-
(
wNANDu
)
;
b)
(
r
3
s
)
-
(
s
3
r
)
;
c)
5
+2
2
3
;
d)
(
aXORb
)
3
(
bXORa
)
;
e)
(
p
-
q
)
-
(
(
p
3
q
)(
V
q
3
p
)
)
.
3.Zaznaczformuływpostacinormalnej:
a)
p
^^ż^^
q
r
s
(
t
3
u
)
;
b)
t
^^ż^^V
q
r
s
u
w
;
c)
p
^^żV
q
(
r
w
)
^^^ż
s
t
u
;
d)
żVż^
p
q
w
VżVżVżV
r
s
t
u
;
e)
(
żVż^
p
(
q
w
)
)
VżVż
(
(
r
s
)(
VżV
t
u
)
)
.
4.Wskażzbioryspójnikówfunkcjonalniepełne:
a)
{
3ż
,
}
;
b)
{
^V
,
}
;
c)
{
NAND,3
}
;
d)
{
NOR
}
;
e)
{
Vż
,
}
.
29
