Экономическая). Менеджер банка должен установить 4 банкомата. В течение каждого дня работы должны выполняться следующие условия:

1.Если работает первый банкомат, то третий банкомат не должен работать, а второй и четвертый должны.

2.Если работает третий банкомат, то первый и четвертый не должны работать, а второй должен.

3.Должен работать по крайней мере один банкомат

Тут тоже уравнения составить?

W1 - первый работает, W2 - второй работает итд

1) W1 -> -W3 & W2 & W4

2) W3 -> -W1 & W2 & -W4

3) W1 | W2 | W3 | W4

| - дизъюнкция, & - конъюнкция, -> - импликация