汇编语言程序中的语句可分为两类，即 【2】 。

互联网好比一个复杂多样的虚拟世界，在互联网主机上的信息又构成了一个微观虚拟世界。若在某主机上可以访问本主机上的信息、则称该主机相通于自身；若主机x能通过互联网访问主机y的信息，则称x相通于y，已知代号分别为甲、乙、丙、丁的四台联网主机有如下信息：
(1)甲主机相通于任一不相通于丙的主机。
(2)丁主机不相通于丙。
(3)丙主机相通于任一相通于甲的主机。

若丙主机不相通于任何主机，则以下哪项一定为假

A．甲主机相通于乙
B．乙主机相通于自身
C．丁主机不相通于甲
D．若丁主机相通于甲，则乙主机相通于甲
E．若丁主机不相通于甲，则乙主机相通于甲