). менеджер банка должен установить 4 банкомата. в течение каждого дня работы должны выполняться следующие условия: 1.если работает первый банкомат, то третий банкомат не должен работать, а второй и четвертый должны. 2.если работает третий банкомат, то первый и четвертый не должны работать, а второй должен. 3.должен работать по крайней мере один банкомат
Тут тоже уравнения составить?
W1 - первый работает, W2 - второй работает итд
1) W1 -> -W3 & W2 & W4
2) W3 -> -W1 & W2 & -W4
3) W1 | W2 | W3 | W4
| - дизъюнкция, & - конъюнкция, -> - импликация