Express the system Specification wing the propositions sont en rustvo sitt waheng tontt stop OMA hind, step so P: "the message is Scanned for viruses tid teghi mort Conard V Corna) 9:"the message was sent here from an onknown system together using logical connectives. 4 A) The message is scanned for viruses whenow the message was sent from an unknown system. B) The message was sent from an it was not scanned for viruses. unknown system but