Seth M. answered 10/23/21
Expert Logic Tutor: Symbolic, Formal, Propositional, Predicate, Etc.
The symbols to use here depend on the system of logic you are employing. Assuming contemporary First Order or Predicate, the symbols might be something like this (using & for "and," | for "or," and ~ for "not"):
~Fc & ~Bk
The second statement begins as ~(~Fc & ~Bk). We would typically transform this into Fc | Bk.