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