#laws of logic

11 messages · Page 1 of 1 (latest)

last lintel
#

Something doesn’t seem right. Where did I go wrong? 🤔

#

Hello

agile plover
#

im unsure about the line 2 let me check

#

oh yeah i think you missed the NOT sign when applying associative property

#

also i dont think you applied the commutative property right

#

in fact $p \lor (\lnot p \land q) = (p\lor\lnot p)\land(p\lor q)$

jade ospreyBOT
#

John Math

agile plover
#

according to the distributive property

agile plover
#

@last lintel

valid siren
#

should be (p -> not s)