A → C Λ B <img src="assets/img/emoji/2194.png" class="emoji" alt="↔"> D    
 A → A Λ D → D   
B → (((D "ν" C) Λ (A "ν" D)) Λ ( A "ν" B "ν" C)) Λ D <img src="assets/img/emoji/2194.png" class="emoji" alt="↔"> A "ν" B
The input can be translated to the following logical expressions:\n\n1) A implies C and B is true if and only if D is true\n    A → C ∧ B ↔ D\n\n2) A is true if and only if D is true\n    A ↔ D\n\n3) B is true if and only if the expression ((D or C) and (A or D)) and (A or B or C) and D are all true\n   B ↔ (((D ∨ C) ∧ (A ∨ D)) ∧ (A ∨ B ∨ C) ∧ D) ↔ A ∨ B