Кстати, если игральных костей две, то формулировки:
Для первого ожидается событие
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
: "На игральной кости выпадет не более двойки", а для второго – событие
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
: "На игральной кости выпадет не менее пятёрки".
не точны. Нужно сказать о какой из костей идёт речь.
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
-ка - это упорядоченный набор, так что здесь дополнительного уточнения не требуется.
Ну, хорошо, пусть независимость единичных событий будет дополнительным условием. Только в этой задаче не надо КАК УГОДНО определять «элементарные исходы». Тот, вариант, что Вы предложили в предыдущем письме, для данной задачи не подходит. Данная задача подходит для событий, заданных произвольными формулами исчисления высказываний, в которых «элементарными исходами» являются
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
-ки независимых событий. Поясню это на примерах задачи для 2-х переменных. Формула
![$A \land B $A \land B](https://dxdy-02.korotkov.co.uk/f/5/7/d/57d79760ee50d4050131ee9faaf0eac682.png)
означает, что мы ожидаем появление события
![$(A,B) $(A,B)](https://dxdy-01.korotkov.co.uk/f/0/3/4/034f9ae850b72a2ae7791e326fd496da82.png)
, формула
![$A \lor B $A \lor B](https://dxdy-02.korotkov.co.uk/f/1/7/6/1766e5497a3b2eb903538ad13c7a351982.png)
означает, что мы ожидаем появление одного из трех возможных событий
![$(A,B), (\neg A,B) $(A,B), (\neg A,B)](https://dxdy-04.korotkov.co.uk/f/7/1/a/71aad887b13243ef279ffdc114798cf082.png)
или
![$(A, \neg B) $(A, \neg B)](https://dxdy-01.korotkov.co.uk/f/0/8/5/0857f32677c3e5450118ed61eade316a82.png)
, формула
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
означает, что мы ожидаем появления хотя бы одного из двух событий или
![$(A,B) $(A,B)](https://dxdy-01.korotkov.co.uk/f/0/3/4/034f9ae850b72a2ae7791e326fd496da82.png)
или
![$(A, \neg B) $(A, \neg B)](https://dxdy-01.korotkov.co.uk/f/0/8/5/0857f32677c3e5450118ed61eade316a82.png)
и т.д. Только и всего. Логические формулы просто отображают в сжатом виде наборы ожидаемых «элементарных исходов».
Добавлю также, что эту задачу можно распространить на случай, когда единичные события в
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
-ках имеют более двух состояний. Эта задача уже выходит за рамки формул исчисления высказываний.