text: Что изучает формальная логика?
option_a: Логические операции над числами
option_b: Правила преобразования высказываний
option_c: Законы составления непротиворечивых текстов
option_d: Принципы программирования ЭВМ
subject: Логика