Аннотация:In this work, we propose a variant of so-called informational semantics, a technique elaborated by Voishvillo, for two infectious logics, Deutsch’s Sfde and Szmuc’s dSfde. We show how the machinery of informational semantics can be effectively used to analyse truth and falsity conditions of disjunction and conjunction. Using this technique, it is possible to claim that disjunction and conjunction can be rightfully regarded as such, a claim which was disputed in the recent literature. Both Sfde and dSfde are formalized in terms of natural deduction. This allows us to solve several problems: to develop a natural deduction calculus for Sfde containing the standard form of disjunction elimination (in contrast to the calculus by Petrukhin), to introduce the first natural deduction calculus for dSfde and to reflect the fundamental symmetry between Sfde and dSfde on proof-theoretical level forming a convenient basis for obtaining their well-known extensions Kw3 and PWK.