3. Практические задания.
Создайте набор истинности по следующей формуле:
( )
( )
( )
A x
B x
C x
Эта формула основана на следующих предикатах:
1.
;
5
4
3
:
)
(
x
x
A
4
8
( ) : 0,25
0,5
;
x
x
B x
;
1
cos
sin
:
(x)
2
2
x
x
C
2.
;
1
)
1
(
3
2
:
)
(
x
x
x
A
1
2
( ) : 2
(4
4
1) 0;
x
B x
x
x
;
1
1
sin
2
5
sin
:
(x)
2
x
x
C
3.
;
)
2
(
)
1
(
:
)
(
2
2
x
x
x
A
1
( ) :
6
;
36
x
B x
;
4
2
sin
2
:
(x)
ctg
x
C
4.
;
1
9
3
7
:
)
(
x
x
x
A
20 2
1
( ) :
1,
2
x
B x
;
4
2
cos
sin
:
(x)
x
x
C
5.
;
1
9
3
7
:
)
(
x
x
x
A
3 6
( ) : 2
1,
x
B x
;
2
1
4
sin
5
cos
4
cos
5
sin
:
(x)
x
x
x
x
C
6.
;
15
4
3
20
:
)
(
x
x
x
x
A
1
2
4
1
( ) : log
0,
4
8
x
B x
x
;
4
cos
4
sin
2
1
:
(x)
2
x
x
C
7.
;
0
1
:
)
(
2
x
x
x
A
1
(x) : log (4
5) 0;
x
B
x
;
2
3
4
sin
:
(x)
x
C
8.
;
3
16
)
7
(
4
3
:
)
(
x
x
x
x
A
20 2
1
( ) :
1;
2
x
B x
;
2
sin
2
:
(x)
x
C
9.
;
3
4
)
1
(
3
2
:
)
(
x
x
x
A
2 1
1
1
( ) :
,
2
16
x
B x
;
0
1
cos
2
5
cos
:
(x)
2
x
x
C
10.
;
1
2
2
5
:
)
(
x
x
x
A
20 2
1
( ) :
1,
2
x
B x
;
0
1
cos
2
5
cos
:
(x)
2
x
x
C
11.
;
3
18
3
2
:
)
(
x
x
x
A
8
4
( ) : 3
4 3
3,
x
x
B x
;
sin
2
2
cos
:
(x)
2
2
x
x
C
12.
;
1
8
3
)
3
(
4
:
)
(
x
x
x
A
1
1
( ) : 3
9,
x
B x
;
2
sin
2
cos
2
1
:
(x)
2
x
x
C
13.
;
5
)
2
(
)
3
(
2
:
)
(
2
x
x
x
x
A
2 4 .. 2
72
( ) : 0,7
(0,7) ,
n
B x
;
2
1
2
cos
:
(x)
x
C
14.
;
1
2
2
5
:
)
(
x
x
x
A
1
( ) : 9
28 3
3 0,
x
x
B x
;
2
3
3
cos
3
sin
:
(x)
2
2
x
x
C
15.
2
( ) : 2
5
2 0,
A x
x
x
2
( ) : 3
81,
x
B x
;
2
1
4
sin
:
(x)
x
C
16.
2
8
( ) :
1 2 ,
5
x
A x
x
x
2
4
3
( ) : 0,5
0,5 ,
x
x
B x
;
0
3
cos
4
:
(x)
2
x
C
17.
2
2
( ) : (
5
4)(
5
6) 120,
A x
x
x
x
x
1
1
2
( ) : 5
5
130,
x
x
B x
;
2
3
4
sin
5
sin
4
cos
5
cos
:
(x)
x
x
x
x
C
18.
2
1
1
( ) : (
)
2(
) 3 0,
A x
x
x
x
x
1
1
3
( ) : 3
3
84,
x
x
B x
;
0
cos
3
2
:
(x)
x
C
19.
2
2
5
3
( ) : 1
0,
(10
5)(
1)
x
x
A x
x
x
1
( ) : 4
5 3
16 0,
x
x
B x
;
cos
sin
:
(x)
x
x
C
20.
2
2
1
( ) : 2
2,5,
1
x
x
A x
x
x
10
4
2
1
( ) : 2
2
,
8
x
B x
;
1
)
(
:
(x)
4
x
tg
C
21.
2
1
6
( ) :
,
3
2
(3
)
A x
x
x
x
3
2
3 1
3
( ) : 3
3
3
57,
x
x
x
B x
;
2
cos
2
sin
:
(x)
x
x
C
22.
2
2
5
( ) :
,
3
9
x
A x
x
x
2
3
( ) : 3
3
972,
x
x
B x
;
2
2
:
(x)
sin
2
1
x
C
23.
4
2
( ) :
( 5
3)
15 0,
A x
x
x
4
4
0,5
0,5
( ) : log (
5)
log (3
1) ,
B x
x
x
;
0
)
cos(sin
:
(x)
x
C
24.
2
2
3
8
3
( ) :
2,
3
x
x
A x
x
x
x
1
2
4
1
( ) : log
0,
4
8
x
B x
x
;
cos
3
sin
:
(x)
x
x
C
25.
8
3
( ) :
,
3
x
x
A x
x
x
1
3
3
( ) : log (
5) 2log (
5) 4,
B x
x
x
;
2
1
4
1
cos
cos
:
(x)
2
x
x
C
Do'stlaringiz bilan baham: |