[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:

View post   
>> No.11437861 [View]
File: 95 KB, 669x186, 2020-03-03-202150_669x186_scrot.png [View same] [iqdb] [saucenao] [google]
11437861

The image is in Portuguese, sorry for that.

I'm at a loss.
How did "X v ~X ^ Y" become "(X v X ^ Y) v ~X ^ Y"? How is X = (X v X ^ Y)?

X v ~X ^ Y =
(X v X ^ Y) v ~X ^ Y =
X v X ^ Y v ~X ^ Y =
X v Y ^ (X v ~X) =
X v Y ^ 1 =
X v Y.

Navigation
View posts[+24][+48][+96]