1. O’rniga qo’yish qoidasidan foydalanib quyidagi formulalarning chiqariluvchi

---

1-TOPSHIRIQ
1.O’rniga qo’yish qoidasidan foydalanib quyidagi formulalarning chiqariluvchi 
ekanligini isbotlang: 
1.1.
├ (A→B)&B→B; 
1.2.
├ A&B→A&BvC; 
1.3.
├ (
A
→B)→((C→B)→(
A
vC→B));
1.4.
├ (
AvB
)→(AvB);
1.5.
├ ((A&B)→(C→B&C))→((A&B→C)→(A&B→B&C));
1.6.
├ (A→B)→((A→B)v(B&C)); 
1.7.
├ ((A&B)→(C&D))→( (
D
C
&
)→| (A&B));