How does one set conditions such as below in RM?
(A && B) || C
or
(A || B) && C
?
How does one set conditions such as below in RM?
(A && B) || C
or
(A || B) && C
?
Notice the --> ( sub-expression
That's where you introduce the opening left paren. After you do that, and enter a term, you will be presented with the choice of AND, OR or ) .
Thank you @bravenel! I actually deleted my message because I had just figured it out... But I couldn't delete the topic itself. Sorry for wasting your time on this!