Opgaven W11 1. Beschouw de volgende instantie van SAT: X = {x1 , x2 , x3 , x4 } en C = (x1 ∨ x ¯3 ) ∧ (¯ x1 ∨ x4 ) ∧ (x2 ∨ x3 ∨ x ¯4 ) ∧ (¯ - W11 - Document - PDFSEARCH.IO

First Page	Meta Content
	Opgaven W11 1. Beschouw de volgende instantie van SAT: X = {x1 , x2 , x3 , x4 } en C = (x1 ∨ x ¯3 ) ∧ (¯ x1 ∨ x4 ) ∧ (x2 ∨ x3 ∨ x ¯4 ) ∧ (¯ Add to Reading List Document Date: 2015-08-26 06:59:34 Open Document File Size: 88,07 KB Share Result on Facebook

Opgaven W11 1. Beschouw de volgende instantie van SAT: X = {x1 , x2 , x3 , x4 } en C = (x1 ∨ x ¯3 ) ∧ (¯ x1 ∨ x4 ) ∧ (x2 ∨ x3 ∨ x ¯4 ) ∧ (¯Add to Reading List