Distributivity of Implication
Prove: (da)
Prove: (de)
Prove: (DE)
Prove: (DA)
![[Graphics:indexgr190.gif]](indexgr190.gif)
![[Graphics:indexgr201.gif]](indexgr201.gif)
![[Graphics:indexgr213.gif]](indexgr213.gif)
![[Graphics:indexgr232.gif]](indexgr232.gif)