TABLEAL Traduction des relations logiques oui relient des fonctions

TABLEAL
Traduc tion des relat ions logiques oui relient des f onc t ions de p
par des relat ions arithmétiques entre leurs nombres associés
F. U
.
Lp
ʻF . y
,9 6
0
C
o
n
t
p
F . FFT . 573 L p
3 . 333 . 333
1
A
g
i
k
L
.
L.11) F . F F F . I D E C
3 . 303 1 1 \ , . . i 4. , A /y c/• c c c • 3 4 0
2
À
l
'
p v I.,%p
1\ / 1 p
y CL p
— — — — — — — --L'AL — — — —
/ I \
' I
\
3.333.7BF C . C C C . E D F
....4041
.
p 8 ,...\
,
r.p
%
P
f
.
o
t
M
o
213 M p
W
,
r
I
l
l
Con: p
5•;•
Relat ion logioue ent re
Relation arit hmét ique e n t re
deux f ormules g e t h: l e u r s nombres associés N(g) e t N(h):
g 4 h s i e t s eulement s i N ( g ) N ( h )
glh
s i
e t s eulement s i N g l , N(h)I . F. E FF. FFF
g w h s i e t s eulement s i N i g l • N(h) = F. FFF. FFF
g y h s i e t s eulement s i ( N ( g ) , N(h)) = 0
CCC.CC:
TABLEAU VUL
Traduc tion des relat ions logiques qui relient des f onc t ions de q
par des relat ions arithmétiques ent re leurs nombres associés
F. FFF. 6 9 0
Co rt q
Lq y
F.FFT.7D5 L q t
A
i
k
k
&
L q F. FFF. E B A
A.AAA.2 80
A
'
l
d
l
l
\
5 . 5 5 5 . 5 5 _ 1 4 4 5
I
V
i
/
0
l
v
L
q
1
- " \
,
,
q
A
\
c
5 _ 5 5 5 .545150 5 .
q 8L N/Nq
A
A
I \ \
I •\
,
q
&
M
q
11111111111
145 M q
Ntvq 8 2 A
114
4
.
D
4 /
7 F
A
.
1
1
1
A
.
,
Mq & t v q
B
Cont q
r
E
93F
F
Relation loEic ue ent re R e l a t i o n arit t imét ioue e n t re
deux f ormules rz. e t h: l e u r s nombres associés N g ) e t NI(h):
g - 6- h
si e t s eulement s i N ( g ) 4 N(h )
gib
si e t s eulement s i [ N( g ) , F . F F F . F F F
gw h
si e t s eulement s i N ( g ) + N(h) = F. FFF. FFF
gv h
si e t s eulement s i ( N( g ) , N(h))
0
• AAA • AA'•
TABLEAU I X.
Traduc tion des relations logiques qui relient des fonc tions de p & q
par des relations arithmétiques entre leurs nombres associés
F.BDE.CAO
.ʻ,Cont (0, : c 1)
L (p & q ) v L A
,
(p&q)
F . FFF • FF7 L ( p&q 1
),%,8,_pg,9q.181
A
I
L
L (P & q ) F. B O E . CA S
I'
7.777.
t p&q)
7
I
7
\/
1
À
1 1
7
1
0
7.356.4 ,20 0 K
(p&gry L"-p&q)
\ I,
'( p &I q l v L t
p & q e) 8
1
"
1
1
1
8 8
: • 8 8 8 . 8
.
1
8 8
0
.
--I
t
i
t -W
—
8
—
i
—
-
I
8
f
'N1114
421.357 N i t p & C
I
Nt%( p & q ) 8
141iiii
I
I
ii,ip
I
,,
I
pii
Mt P8Lq ) & p &
c i Cont
) (138,:q)
;,......
421. 35F
H
Relation logique ent re R e l a t i o n arit hmét ique ent re
z e t h: l e u r s nombres associés N(g) e t N(h):
o r i pdeux fgormules
-•• h s e t s eulement s i N(g) N ( h )
si e t s eulement s i
,„
Nth)] = F. FFF. FFF
g w h s i e t s eulement s i
N(g) N ( h ) S F. FFF. FFF
g y h s i e t s eulement s i
(Ntg), Nt h)) = 0
„g:
g
)
TABLEAU X .
Traduc tion des relat ions logiques oui re lie n t des fonc tions de p.F.: •\.q
par des relations arit hmét iques ent re leurs nombres associés
F. DE F. 5 6 0
ont ( W - q )
L(Wq) y
P -2 ci
F . FTF . FTS L ( p&
'\Alf
p,
qL, )
1q )
'
,
?.. BBS . BSB
( 4 0 4
( p&%qp 4 1 1
& 0
- 8 .
v 9 A
q 3 .
I I
F 8
. '7 4 4 1 1 1 1
D 1
0 1 4 1 4
%
E \
,
0
7 i
(
1
. 5
l
)
5 (k p
_
C I
?
'
q
4 4
.
A
g
(p8e. '\
,
c ilv l
(pg,
' , q 4) %
i
i
%
( O 8
,
'
, ,
c 1 M
( P 8 ' ' ' q )
i
L
L ( p-.q )
''( PL
-:
1
1
\
\
\
"
Ni(
- p-•-c; )
'
(
P
,
E
)
2&
18.A 3a
M
(
1
)
&
%
1
)
1
1
1
p
r
4
4
c
14 3 .
M(
)
(
c
Cont (p & ' . . 1 )
l
,4 4
218. A 3F
1 13
)
B
0
4
Relation logic ue e n t re R e l a t i o n arit hmét ioue ent re
,41
deux formules g e t h l e u r s nombres associés Mg ) e t N ( h :
4.
4
,
g • h s i e t s eulement s i N ( g ) N ( h )
4
glh s i e t s eulement s i I N ( g )
B
4
t wN h( sh i i ent s eulement
•
g
s i N ( g ) • N(h) • F. FTF. FFF
m
• ,
F v .h F F T . F T E
g
si e t s eulement s i ( N ( g ) , N(h)) - 0
B
4 F
(- p a ,
4 , :
/
o
L 4
\
BL EAU C h a Ines d i m
lestions e n t re f e rt it u le s e t e l
l
.F F F .3 5 1
a b so r
Lp y 1.04
tion e n t r e l e r r s r o , .b r e s assoetes.
F .F F F .F F 7
Lp & L q
/
F .F F F .F 7 7
Lp q
F . F F F . 7 F 7
&
p
F .F F F .B7 3
Lp
F .F F F .7 1 ) 5
Lq
1 7 .7P7 7 .7 7 7
p&q
P
3 .3 3 3 .3 3 3
5 .5 5 5 .7 5 7
Mp & q
H .5 5 5 .5 5 5
3 .3 3 3 .3 7 7
Mq & p
1111111111P
145
Mq
4 2 1 .3 5 7
23
Mp
M t p &q )
101
Mq y p
Mpv
1
Mp 7 M g
1 . 1 1 . i 11
p
v