Riešenie príkladu 4.
Označme:
A "prvá skupina pracuje"
B "druhá skupina pracuje"
C "tretia skupina pracuje"
Podmienky možno vyjadriť takto:
A => B,
B \/ C,
A´ => C´
Pretože všetky podmienky musia byť splnené, zaujíma nás konjunkcia týchto troch podmienok.
| A |
B |
C |
A´ |
C´ |
A => B |
B \/ C |
A´=>C´ |
(A => B)/\(B\/C)/\(A´=>C´) |
| 1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
| 1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
| 1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
| 1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
| 0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
| 0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
| 0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
| 0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
Z tabuľky vyčítame tri možnosti pre prácu troch skupín:
- Pracujú všetky skupiny {1. riadok}.
- Pracuje len prvá a druhá skupina {2. riadok}.
- Pracuje len druhá skupina {6. riadok}.