https://vk.com/informatics_100?z=photo-40390768_457277148%2Fwall-40390768_199869
Fork two 08.2016 charts
Notice that ¬X1=>¬X2≡X2=>X1 and ¬X3=>¬X4≡X4=>X3
Original system Orinal system ¬(x1≡x2)v¬(x1≡x3)^(x2≡x3)=1 ¬(x3≡x4)v¬(x3≡x5)^(x4≡x5)=1 ¬(x5≡x6)v¬(x5≡x7)^(x6≡x7)=1 ¬(x7≡x8)v¬(x7≡x9...
No comments:
Post a Comment