Information Technology Reference
In-Depth Information
{ In case
j
=1
;k
= 2 we have (
(
s
1
)
;
(
s
2
))
62 I
.
up
up
{ In case
j
=1
;k
= 3 we have (
(
s
1
)
;
)
2I
, which yields
up
light
up
(
s
1
) causes
light
if
up
(
s
2
)
{ In case
j
=2
;k
= 1 we have (
up
(
s
2
)
;
up
(
s
1
))
62 I
.
{ In case
j
=2
;k
= 3 we have (
up
(
s
2
)
;
light
)
2I
, which yields
up
(
s
2
) causes
light
if
up
(
s
1
)
{ In case
j
=3
;k
= 1 we have (
light
;
up
(
s
1
))
62 I
.
{ In case
j
=3
;k
= 2 we have (
light
;
up
(
s
2
))
62 I
.
Regarding conjunct
C
2
=
up
(
s
1
)
_:
light
we obtain the following:
{ In case
j
=1
;k
= 2 we have (
up
(
s
1
)
;
light
)
2I
, which yields
:
up
(
s
1
) causes
:
light
if
>
{ In case
j
=2
;k
= 1 we have (
light
;
up
(
s
1
))
62 I
.
Regarding conjunct
C
3
=
up
(
s
2
)
_:
light
we obtain the following:
{ In case
j
=1
;k
= 2 we have (
up
(
s
2
)
;
light
)
2I
, which yields
:
up
(
s
2
) causes
:
light
if
>
{ In case
j
=2
;k
= 1 we have (
light
;
up
(
s
2
))
62 I
.
2. The minimal CNF of
relay
:
up
(
s
1
)
^
up
(
s
3
)is
(
up
(
s
1
)
_:
up
(
s
3
)
_
relay
)
^
(
:
up
(
s
1
)
_:
relay
)
^
(
up
(
s
3
)
_:
relay
)
Regarding conjunct
C
1
=
(
s
1
)
_:
(
s
3
)
_
we obtain the fol-
up
up
relay
lowing:
{ In case
j
=1
;k
= 2 we have (
up
(
s
1
)
;
up
(
s
3
))
62 I
.
{ In case
j
=1
;k
= 3 we have (
(
s
1
)
;
)
2I
, which yields
up
relay
:
up
(
s
1
) causes
relay
if
up
(
s
3
)
{ In case
j
=2
;k
= 1 we have (
up
(
s
3
)
;
up
(
s
1
))
62 I
.
{ In case
j
=2
;k
= 3 we have (
up
(
s
3
)
;
relay
)
2I
, which yields
up
(
s
3
) causes
if
:
up
(
s
1
)
relay
{ In case
j
=3
;k
= 1 we have (
s
1
))
62 I
.
{ In case
j
=3
;k
= 2 we have (
relay
;
up
(
s
3
))
62 I
.
Regarding conjunct
C
2
=
:
up
(
s
1
)
_:
relay
we obtain the following:
{ In case
j
=1
;k
= 2 we have (
;
(
relay
up
(
s
1
)
;
)
2I
, which yields
up
relay
up
(
s
1
) causes
:
relay
if
>
{ In case
j
=2
;k
= 1 we have (
relay
;
up
(
s
1
))
62 I
.
Regarding conjunct
C
3
=
up
(
s
3
)
_:
relay
we obtain the following:
