1) Satisfiable? (p v -q) ^ (q v -r) ^ (r v -p) 2) Satisfiable? (p v q v r) ^ (-p v -q v r) 3) Satisfiable? (p v -q) ^ ( q v -r) ^ (r v -p) ^ (-r v -q) 4) Satisfiable? (p v -q) ^ (q v -r) ^ (r v -p) ^ (-r v -q) ^ (p v q) 5) Satisfiable? (p v q v r) ^ (-p v -r) 6) Satisfiable? (p -> q) ^ (p -> -q) ^ (-p -> q) ^ (-q -> -p) 7) Satisfiable? (p <-> q) ^ (-p <-> q) 8) Satisfiable? (p v q v -r) ^ (p v -q v -s) ^ (p v -r v -s) ^ (-p v -q v -s) ^ (p v q v -s) 9) Satisfiable? (p v q v -r) ^ (p v -q v -s) ^ (s v -r) ^ (r v q) 10) Satisfiable? (p v -q v -r) ^ (q v -r v s) ^ (-s v r) ^ (-r ^ s) ^ (s ^ -q) 11) Satisfiable? (-p v -q v r) ^ (-p v q v -s) ^ (p v -q v -s) ^ (p v q v -r) ^ (-p v -r v -s) 12) Satisfiable? (-p v -q v r) ^ (-p v q v -s) ^ (p v -q v -s) ^ (p v q v -r) ^ (-p v -r v -s) ^ (-s v -r)

9/24/2020 SATISFIABILITY

by
Embed

Leaderboard

Visual style

Options

Switch template

Continue editing: ?