Finish the following tasks and answer questions about propositional logic. $($Tip: you can use Python

library such as sympy to manipulate propositional logics$).$

$1)$ Assume we have two propositions A and B$.$ A$=$True, B$=$False. What are the results of $(1)$ not A$,(2)$

A or B$,(3)$ A and B$,(4)$ A implies B$,(5)$ B implies A$,(6)$ A $$ B $($Biconditional$)$

$2)$ Assume we have symbols as logical variables A$,$ B$,$ C$,$ D: $(1)$ convert the expression ~$($A $|$ B$)|$ C to

Conjunctive Normal Form $($CNF$),(2)$ convert the expression ~$($A $->$ B$)|($C & D$)$ to Disjunctive

Normal Form $($DNF$).$Programming Language:

Programming Language: Please use Python$3,$ not Python$2.$

$$ Coding Style: define a function for each question.

$$ Comments: add necessary comments to help understand your code