steve_bank
Diabetic retinopathy and poor eyesight. Typos ...
The OP is for you. I go by experience and common usage among peers. Logic refers in general to logical analysis using logic...how's that?
Logic is far more than syllogisms with premises and and a conclusion. Grow or stagnate in the pre 20th century thinking.
Logic is what it is and you have no idea what it is.
EB
What is logic, oter than a dictionary definition?
Linear Aristotilian logic fails for certain kinds of problems. That is where the turing Machine and the modern oprocessor comes in.There are problems that can not ne solved travesring a logic decison making netwrok.
The problem at hand if not a processor loop would require non linear clocked sequential logic. In ciomputer scine finite automata or in electrionuics a finite state machine.
A fragmentn of the problem. You get on the elevator on the 1 floor and press the 4 floor button. Someone gets on at the 3 floor and presses the 2 floor button.
Using the boolean variables what is the formal logic that ensures the elevator goes to the 4 floor first before going down to the 2 floor. Fx_button is trie if pressed and false if not.
This section gcan be done with linear formal logic.
Hint: if the person presses the 4 floor button on the first floor and nobody else gets on an expression might be
if( !F1_button and !F2_button & !F3_button & F4_button) Next_Floor = 4. The brute force approach would be to work out all combinations in a series of if staememts. This does not take into account prsssing call buttons on the floors.
I do not know how is a perfectly accptable response. Are you a curious person?