title: How to change English statement to First Order Logic
body: <p>I have an if/else statement that need to be changed to First Order Logic..</p>
  <p>To reduce the number of applications that are used during online classes.</p>
  <p>The If/else statement is below this:</p>
  <pre><code>For any Students,and any Lecturers 
  If Students_Open_Other_Applications = true OR Students_in_Class_Session = false
   OR Lecturers_in_Class_Session = false AND Class_Mode = &quot;F2F&quot; AND Same_Session = true
      THEN Notice_Lecturer = true AND Notice_Students = true
  </code></pre>
  <p>I am actually not quite understand and try build the FOL like this (I dont know is it correct or not)..</p>
  <pre><code>∀x ,∀y Students(x),Lecturers(y) [([OpenOtherApp(x) ∨ ¬InClass(x) ∨ ¬InClass(y)] ∧ ClassMode(&quot;F2F&quot;) ∧ SameSession(x,y)) 
  →   Notice(x) ∧ Notice(y)]
  </code></pre>
  <p>Then, I try to separate it from two perspective:</p>
  <p>Students :-</p>
  <p>For every students, that open other app or not in class and class mode F2F
  then lecturer and student in same class will be noticed</p>
  <pre><code>
  ∀xStudents(x) [([OpenOtherApp(x)∨¬InClass(x)] ∧ ClassMode(&quot;F2F&quot;)) → (Notice(x) ∧ Notice(y))]
  </code></pre>
  <p>Lecturers:-</p>
  <p>For every lecturer that not in class and class mode F2F
  then lecturer and student in same class will be noticed</p>
  <pre><code>∀yLecturers(y) [(¬InClass(y) ∧ ClassMode(&quot;F2F&quot;)) → (Notice(x) ∧ Notice(y))]
  </code></pre>
  <p>I dont know if those three first order logics are true..
  I need to combine both statement into one statement..
  Can someone guide me through and thorough way?</p>