Has anyone here read the Katz translation? How does it compare to the other two?

deleted by creator

Pain elemental, and yes it’s a nuisance. Hiding behind a wall and peek-a-boo shooting twice or thrice with a SSG is your best strat.

I’m not sure but could it be because, in your first truth table, you assumed the truth value of (a OR b) -> c to be true and you are finding the truth values of c that correspond with pairs of values of a and b?

However, in the second table you are finding the truth values of ~(a OR b) OR c that correspond with truth values of c as well as a and b so just like you said, you cannot compare the two tables you present above.

To get the truth table for the proposition (a OR b) -> c, you would find the corresponding truth values to those of a, b and c (like you did in the first table). Something like this:

A B C   A OR B   (A OR B) -> C
000       0             1
001       0             1
010       1             0
011       1             1
100       1             0
101       1             1
110       1             0
111       1             1

since it’s possible for the conditional proposition to be false (i.e. if either A or B are true yet C is false)

Afaik they are equivalent since using the truth table of a conditional A->B, it’s false when A is true but B is false (like how a philosophical argument is invalid if the premise A is true yet the conclusion B is false) so ~(A->B) = A and ~B and A->B = ~A or B. Were you asking about something else?

Sunlust ftw. Gorgeous maps (especially E3 maps) that force you to play outside your comfort zone.

That and Plutonia, just because of Go 2 It, which is a genuinely fun map to play.

PrBoom+ for everything. I used to use Crispy but I can’t be bothered to switch between them for Boom and vanilla wads so I just stick to one.

is that danish

Is guix pull still slow? That was a problem I and a few others had a while back.