Запишите логическое утверждение: "Если компьютер включён, то программа работает, а если компьютер выключен, то программа не работает."

Ответ: «Если компьютер включён, то программа работает» (Если A, то B). «Если компьютер выключен, то программа не работает» (Если не A, то не B).