Logical operators such as AND (&&) and OR (||) in JavaScript are used within conditional structures to form compound branching. They allow the combination of multiple conditions within a single if statement. An AND operator ensures that all combined conditions must be true for the block to execute, while an OR operator requires only one of the conditions to be true. This enables more complex decision-making within scripts, allowing for sophisticated control over program execution paths.

Nested if..else statements allow the evaluation of multiple conditions where each subsequent condition is contingent on the falsification of the preceding ones. This structure enables checking several layers of conditions efficiently. For example, after checking the primary condition with an initial if statement, further specific conditions can be checked using nested if statements within the else block, thus allowing for detailed assessment and actions based on multiple criteria, as seen in complex decision-making tasks.

When choosing between if..else and switch statements in JavaScript, developers should consider the complexity and readability of their code, the nature and number of conditions, and the variable type being evaluated. If conditions are based on a single variable's discrete values, and there are numerous branches, a switch statement may be cleaner and more efficient. Conversely, for conditions involving complex logic or ranges of values, if..else statements may be more suitable due to their flexibility.

JavaScript offers two primary mechanisms for controlling program flow: the if..else statement and the switch statement. The if..else statement allows for the execution of certain code blocks based on the Boolean evaluation of conditions. Multiple conditions can be handled by combining multiple if..else statements. The switch statement simplifies managing multiple conditional branches typically governed by the same variable.

The switch statement simplifies complex conditional logic by allowing multiple conditions to be evaluated on a single variable's value, which can reduce the complexity and redundancy associated with numerous if..else statements. With switch, each case corresponds to a particular value of the variable in question, effectively organizing the logic into neat branches, making it more readable and maintainable compared to chaining many if..else conditions.

A potential use case for an optimal switch statement would be a scenario where a program assigns output based on a user's selection from a fixed set of categories or types, such as menu options or user roles. For instance, in an application where different user types—like guest, member, or admin—lead to differing levels of access or functionality, a switch statement can efficiently replace a long series of if..else checks by matching the user type directly to a case block corresponding to their assigned tasks.

In Bintang Abadi Travel's JavaScript program, a customer's membership status is crucial as members are eligible for a 10% discount on their ticket purchase. The program takes input such as the name, destination, number of tickets, and membership status, calculates the subtotal, applies the discount (if applicable), and determines the total amount payable. This approach not only demonstrates the handling of input and conditional logic but also illustrates real-world usage of JavaScript's dynamic functionalities.

The else block in a compound if..else statement serves as a default path, catching any cases not explicitly addressed by previous conditions. This ensures that the program handles all possible inputs systematically, preventing logical gaps in execution flow. It is crucial in maintaining control over how an application reacts when conditions are unmet, thereby enhancing the robustness and reliability of the script.

Nested if..else statements in JavaScript become non-ideal when they create deeply nested structures leading to hard-to-read and maintain code. They may also lead to increased cognitive load and potential for errors. Alternatives include using switch statements if the logic involves multiple cases revolving around a single variable, or refactoring the code into separate functions that handle specific logical branches. Moreover, logical operators can sometimes simplify chains of conditions effectively.

Switch statements improve code readability by neatly organizing conditions in a way that is easy to follow and understand. Each case within a switch statement explicitly defines how the program responds to a specific value, reducing the complexity and cognitive overload associated with interpreting multiple if..else conditions. This structure also visually separates each condition and its corresponding actions, making the logic clearer and reducing the likelihood of errors during code maintenance.