Challenging question: Solve a formula question, or draw a diagram, analyze the code, and write the paragraph about the given image, explain the components of the image, or anything else you prefer (0.8 points): It is possible to define the logical connectives of conjunction, disjunction, and biconditional in terms of negation and implication. In other words, we can only use the combinations of negation and implication to interpret all five connectives. Conjunction: The conjunction of two propositions, p, and q, denoted by p Aq, is true if both p and q are true and false otherwise. The conjunction can be defined using negation and implication as follows: PAq=-(p-q) In other words, p Aq is equivalent to negating the implication "if p then not q". With the information given above, can you define disjunction and biconditional only using negation (-) and implication ()? Hint, you can use a truth table to validate your answer. Your answer: Please draw the related architecture diagram and explain your answer.