Sandbox

« first day (3992 days earlier) ← previous day next day → last day (943 days later) »

Pax Daga

6:04 AM

If A∨B∧C:

2 hours later…

user21820

8:35 AM

← 7 messages moved from Basic Mathematics

Pax Daga

9:10 AM

A∨B∧C ⇔ (A or B) and (A or C)

Proof the first direction

If A or B and C:
If A:
A
A or B
A or C
(A or B) and (A or C)
A implies (A or B) and (A or C)
If B and C:
B and C
B
C
A or C
B
A or B
A or C
(A or B ) and (A or C)

B and C implies (A or B ) and (A or C)
A or B and C
A implies (A or B) and (A or C)
B and C implies (A or B ) and (A or C)
A∨B∧C implies (A or B) and (A or C)

I already rote it

user21820

@PaxDaga It's fine, but you didn't click "fixed font"?

Pax Daga

What why dint it come indented it was indented in the text editor

user21820

@PaxDaga You have a bad habit of not following instructions.

38 mins ago, by user21820

@PaxDaga To indent, type your attempt in a good text editor (e.g. Programmer's Notepad) first, using tabs or spaces to indent. Any good text editor will automatically maintain indentation for you. After that, copy and paste here but click "fixed font" before "send". Do not use LaTeX because it will not be displayed. Use either ASCII or unicode symbols.

← 6 messages moved from Basic Mathematics

2 hours later…

Pax Daga

11:12 AM

maybe not here?